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ț: 461.83 lei - 20%
Preț: 461.57 lei - 20%
Preț: 424.26 lei - 20%
Preț: 390.69 lei - 20%
Preț: 498.50 lei - 15%
Preț: 388.50 lei - 20%
Preț: 390.35 lei - 20%
Preț: 460.98 lei - 20%
Preț: 461.52 lei - 20%
Preț: 497.55 lei - 20%
Preț: 389.72 lei - 20%
Preț: 461.83 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 391.14 lei - 20%
Preț: 389.85 lei - 20%
Preț: 461.32 lei - 20%
Preț: 498.32 lei - 20%
Preț: 496.64 lei - 20%
Preț: 532.28 lei - 20%
Preț: 527.36 lei - 20%
Preț: 498.46 lei - 15%
Preț: 461.85 lei - 20%
Preț: 390.12 lei - 20%
Preț: 532.41 lei - 20%
Preț: 462.24 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 252.15 lei - 20%
Preț: 390.94 lei - 20%
Preț: 461.52 lei - 20%
Preț: 391.86 lei - 20%
Preț: 532.54 lei - 20%
Preț: 462.67 lei - 20%
Preț: 461.65 lei - 20%
Preț: 639.72 lei - 20%
Preț: 255.91 lei - 15%
Preț: 535.92 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 499.36 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.20 lei - 20%
Preț: 249.95 lei
Preț: 320.24 lei
Preț vechi: 400.30 lei
-20% Nou
Puncte Express: 480
Preț estimativ în valută:
56.68€ • 66.47$ • 49.69£
56.68€ • 66.47$ • 49.69£
Carte disponibilă
Livrare economică 06-20 ianuarie 26
Preluare comenzi: 021 569.72.76
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
-
Security for Software EngineersJames N. Helfrich-37%Preț: 509.02 lei807.60 lei -
Introduction to Python for Science and EngineeringDavid J. Pine-20%Preț: 417.15 lei521.43 lei -
PODC '18Podc-27%Preț: 701.43 lei960.86 lei -
EC '18Ec-27%Preț: 984.43 lei1348.53 lei -
ABAP Programming Model for SAP FioriStefan Haas-20%Preț: 485.94 lei607.43 lei -
Hands-On Functional Programming with TypescriptRemo H Jansen-20%Preț: 202.36 lei252.96 lei -
Hands-On Design Patterns with C++Fedor G. Pikus-20%Preț: 302.20 lei377.74 lei -
Python Network ProgrammingAbhishek Ratan-20%Preț: 297.10 lei371.37 lei -
-20%Preț: 224.54 lei280.67 lei -
Hands-On Data Structures and Algorithms with RustClaus Matzinger-20%Preț: 237.30 lei296.61 lei -
Hands-on Full-Stack Web Development with GraphQL and ReactSebastian Grebe-20%Preț: 270.02 lei337.52 lei -
QGIS Quick Start GuideAndrew Cutts-20%Preț: 170.68 lei213.35 lei -
Mastering Rust -Second EditionVesa Kaihlavirta-20%Preț: 304.56 lei380.71 lei -
Learn Spring for Android Application DevelopmentS M Mohi Us Sunnat-20%Preț: 295.19 lei369.00 lei -
Advanced JavaScriptZachary Shute-20%Preț: 209.35 lei261.68 lei -
Formal Methods and Software EngineeringYamine Ait-Ameur-20%Preț: 334.04 lei417.55 lei -
-20%Preț: 317.85 lei397.31 lei -
-20%Preț: 324.99 lei406.23 lei -
-20%Preț: 655.40 lei819.25 lei -
Advanced Functional ProgrammingJohan Jeuring-20%Preț: 317.29 lei396.61 lei -
Algorithms on Trees and GraphsGabriel Valiente-20%Preț: 444.48 lei555.60 lei -
Nebenläufige ProgrammeRalf Herrtwich-20%Preț: 471.83 lei589.79 lei -
-20%Preț: 628.32 lei785.39 lei -
-20%Preț: 323.10 lei403.87 lei -
Algorithms in BioinformaticsRaffaele Giancarlo-20%Preț: 328.72 lei410.90 lei -
-20%Preț: 641.62 lei802.03 lei -
-20%Preț: 340.84 lei426.05 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.