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 Butterfielden Limba Engleză Paperback – 30 iul 2010
Din seria Lecture Notes in Computer Science
- 15%
Preț: 558.12 lei - 20%
Preț: 573.45 lei - 20%
Preț: 330.54 lei - 20%
Preț: 620.33 lei - 20%
Preț: 400.77 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 629.71 lei - 20%
Preț: 328.94 lei - 20%
Preț: 375.72 lei - 20%
Preț: 568.70 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 489.11 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 782.57 lei - 20%
Preț: 336.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 850.42 lei - 20%
Preț: 432.78 lei - 20%
Preț: 342.61 lei - 20%
Preț: 631.96 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 487.46 lei - 20%
Preț: 400.17 lei - 20%
Preț: 984.64 lei - 20%
Preț: 556.96 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 793.92 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 679.09 lei - 20%
Preț: 558.53 lei - 20%
Preț: 327.36 lei - 20%
Preț: 340.04 lei - 20%
Preț: 327.36 lei - 20%
Preț: 560.93 lei - 20%
Preț: 324.19 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 735.28 lei - 20%
Preț: 373.80 lei -
Preț: 395.25 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 320.24 lei
Preț vechi: 400.30 lei
-20%
Puncte Express: 480
Preț estimativ în valută:
56.61€ • 67.14$ • 49.11£
56.61€ • 67.14$ • 49.11£
Carte disponibilă
Livrare economică 18 februarie-04 martie
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
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
V-ar putea interesa
-
Smalltalk Best Practice PatternsKent Beck-20%Preț: 404.04 lei505.05 lei -
Types and Programming LanguagesBenjamin C. Pierce-23%Preț: 571.45 lei738.25 lei -
Principles of Concurrent and Distributed ProgrammingMordechai Ben-Ari-13%Preț: 597.12 lei686.35 lei -
Programming Language PragmaticsMichael Scott-41%Preț: 453.95 lei769.59 lei -
Computer Architecture: A Quantitative ApproachJohn L. Hennessy-20%Preț: 705.36 lei881.71 lei -
-23%Preț: 677.50 lei879.87 lei -
Liars and OutliersBruce Schneier-20%Preț: 101.21 lei126.51 lei -
Preț: 465.97 lei -
-20%Preț: 391.50 lei489.37 lei -
-20%Preț: 325.79 lei407.24 lei -
-20%Preț: 327.36 lei409.20 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 320.24 lei400.30 lei -
-20%Preț: 329.60 lei412.00 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 332.10 lei415.13 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 335.29 lei419.11 lei -
-20%Preț: 329.74 lei412.17 lei
Public țintă
Professional/practitionerCuprins
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.