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
- 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.67€ • 66.54$ • 49.74£
56.67€ • 66.54$ • 49.74£
Carte disponibilă
Livrare economică 06-20 ianuarie 26
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
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
-
A Dictionary of Electronics and Electrical EngineeringAndrew Butterfield-19%Preț: 96.16 lei118.64 lei -
A Dictionary of Computer ScienceAndrew Butterfield-35%Preț: 76.66 lei118.68 lei -
Practical PowerShell Exchange Server 2016Damian ScolesPreț: 435.12 lei -
Practical LXC and LXD: Linux Containers for Virtualization and OrchestrationSenthil Kumaran S.-20%Preț: 259.53 lei324.41 lei -
Microcontroller System Design Using PIC18F ProcessorsNicolas K. Haddad-23%Preț: 1056.63 lei1372.25 lei -
Isomorphic JavaScript Web DevelopmentTomas AlabesPreț: 307.11 lei -
Mastering the C++17 STLArthur O'Dwyer-20%Preț: 265.58 lei331.98 lei -
Perl 6 Deep DiveAndrew Shitov-20%Preț: 266.66 lei333.32 lei -
Mastering JUnit 5Boni Garcia-20%Preț: 263.67 lei329.58 lei -
Continuous Integration, Delivery, and DeploymentSander Rossel-20%Preț: 269.84 lei337.31 lei -
Mastering iOS 11 ProgrammingDonny WalsPreț: 460.23 lei -
ASP.NET Core 2 High PerformanceJames Singleton-20%Preț: 292.68 lei365.86 lei -
Algorithms and ComputationToshihide Ibaraki-20%Preț: 646.03 lei807.54 lei -
-20%Preț: 320.59 lei400.73 lei -
ECOOP 2004 - Object-Oriented ProgrammingMartin Odersky-20%Preț: 638.48 lei798.10 lei -
Algorithms and Data StructuresFrank Dehne-20%Preț: 333.43 lei416.79 lei -
Languages, Compilers, and Run-Time Systems for Scalable ComputersSandhya Dwarkadas-20%Preț: 322.01 lei402.51 lei -
Algorithms - ESA 2001: 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, ProceedingsFriedhelm Meyer auf der Heide-20%Preț: 332.10 lei415.13 lei -
-20%Preț: 317.85 lei397.31 lei -
FME 2002: Formal Methods - Getting IT RightLars-Henrik Eriksson-20%Preț: 639.53 lei799.41 lei -
Hybrid Systems IVPanos Antsaklis-20%Preț: 327.49 lei409.37 lei -
Implementation and Application of Functional LanguagesAndrew Butterfield-20%Preț: 318.30 lei397.88 lei -
-20%Preț: 320.37 lei400.47 lei -
-20%Preț: 326.72 lei408.40 lei -
-20%Preț: 267.79 lei334.73 lei -
LEARN RUBY IN 7 DAYSNitin Kore-20%Preț: 176.06 lei220.07 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.