Cantitate/Preț
Produs
Total produse
Vezi coșul
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers de Andrew Butterfield

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers: Lecture Notes in Computer Science, cartea 5713

Editat de Andrew Butterfield
en Limba Engleză Paperback – 30 iul 2010

Din seria Lecture Notes in Computer Science

Preț: 33289 lei

Preț vechi: 41612 lei
-20% Nou

Puncte Express: 499
Preț estimativ în valută:
6371€ • 6572$ • 5392£

Carte disponibilă

Livrare economică 11-25 februarie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642145209
ISBN-10: 3642145205
Pagini: 278
Ilustrații: IX, 279 p. 21 illus.
Greutate: 0.43 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

Refinement Calculus as a Theory of Contracts (Invited Paper).- Transaction Calculus.- UTP and Temporal Logic Model Checking.- A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming.- Reasoning about Loops in Total and General Correctness.- Lazy UTP.- Monadic Maps and Folds for Multirelations in an Allegory.- Unifying Theories of Interrupts.- UTP Semantics for Handel-C.- Unifying Theories of Locations.- Unifying Input Output Conformance.- The Miracle of Reactive Programming.- Encoding Circus Programs in ProofPowerZ.- Component Publications and Compositions.- Denotational Approach to an Event-Driven System-Level Language.