Artículos relacionados a Unifying Theories of Programming: 4th International...

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers - Tapa blanda

 
9783642357060: Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Tapa blanda
ISBN 10: 3642357067 ISBN 13: 9783642357060
Editorial: Springer, 2013

Esta edición ISBN ya no está disponible.

Sinopsis

Unifying Theories of Undefinedness in UTP.- Unifying Theories of Programming with Monads.- Circus Time with Reactive Designs.- Algebra Unifies Operational Calculi.- A Probabilistic Theory of Designs Based on Distributions.- The Logic of U•(TP)2.- Conscriptions: A New Relational Model for Sequential Computations.- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.- Higher-Order UTP for a Theory of Methods.- Denotational Semantics for a Probabilistic Timed Shared-Variable Language.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2013
Idioma
Inglés
ISBN 10 
3642357067
ISBN 13 
9783642357060
Encuadernación
Paperback
Contacto del fabricante
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783642357046: Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers: 7681 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3642357040 ISBN 13:  9783642357046
Editorial: Springer, 2013
Tapa blanda