Verwandte Artikel zu Unifying Theories of Programming: 4th International...

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

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3642357067
ISBN 13 
9783642357060
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

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)

Vorgestellte Ausgabe

ISBN 10:  3642357040 ISBN 13:  9783642357046
Verlag: Springer, 2013
Softcover