Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6445
Editat de Shengchao Qinen Limba Engleză Paperback – 21 oct 2010
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 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.60€ • 66.59$ • 49.41£
56.60€ • 66.59$ • 49.41£
Carte disponibilă
Livrare economică 16-30 martie
Specificații
ISBN-13: 9783642166891
ISBN-10: 364216689X
Pagini: 310
Ilustrații: VIII, 310 p. 17 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: 364216689X
Pagini: 310
Ilustrații: VIII, 310 p. 17 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
-
Principles of Concurrent and Distributed ProgrammingMordechai Ben-Ari-13%Preț: 597.12 lei686.35 lei -
Programming Language PragmaticsMichael Scott-20%Preț: 632.52 lei790.65 lei -
Computer Architecture: A Quantitative ApproachJohn L. Hennessy-40%Preț: 502.23 lei842.68 lei -
Foundations of Probabilistic ProgrammingGilles Barthe-20%Preț: 422.09 lei527.61 lei -
-20%Preț: 391.77 lei489.72 lei -
-20%Preț: 325.79 lei407.24 lei -
-20%Preț: 327.36 lei409.20 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 314.86 lei393.57 lei -
-20%Preț: 320.24 lei400.30 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 641.45 lei801.81 lei -
-20%Preț: 329.60 lei412.00 lei -
-20%Preț: 314.22 lei392.77 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 332.10 lei415.13 lei -
-20%Preț: 335.29 lei419.11 lei -
-20%Preț: 323.41 lei404.26 lei -
.NET 10 RevealedKajetan Duszy¿ski-20%Preț: 230.71 lei288.39 lei
Public țintă
ResearchCuprins
Specification Coverage for Testing in Circus.- UTP and Sustainability.- A Probabilistic BPEL-Like Language.- On Modelling User Observations in the UTP.- Unifying Theories of Confidentiality.- Saoithín: A Theorem Prover for UTP.- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.- Programmable Verifiers in Imperative Programming.- Unifying Theories in Isabelle/HOL.- Unifying Recursion in Partial, Total and General Correctness.- Halting Still Standing – Programs versus Specifications.- Promoting Models.- Probabilistic Choice, Reversibility, Loops, and Miracles.- Towards a Pomset Semantics for a Shared-Variable Parallel Language.- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.