Articoli correlati 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 - Brossura

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3642357067
ISBN 13 
9783642357060
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642357040 ISBN 13:  9783642357046
Casa editrice: Springer, 2013
Brossura