Refinement Calculus: A Systematic Introduction: Texts in Computer Science
Autor Ralph-Johan Back, Joakim Wrighten Limba Engleză Paperback – 13 apr 1998
Din seria Texts in Computer Science
- 20% Preț: 412.42 lei
- 20% Preț: 409.70 lei
- 20% Preț: 370.59 lei
- 20% Preț: 474.58 lei
- 20% Preț: 306.35 lei
- 20% Preț: 444.91 lei
- 20% Preț: 503.87 lei
- 20% Preț: 379.63 lei
- 20% Preț: 444.93 lei
- 20% Preț: 305.30 lei
- 20% Preț: 392.09 lei
- 20% Preț: 1177.68 lei
- 20% Preț: 406.21 lei
- 20% Preț: 675.35 lei
- 20% Preț: 515.34 lei
- 15% Preț: 603.96 lei
- 20% Preț: 355.85 lei
- 20% Preț: 338.08 lei
- 20% Preț: 172.25 lei
- 20% Preț: 313.09 lei
- 20% Preț: 373.58 lei
- 20% Preț: 588.01 lei
- 20% Preț: 703.86 lei
- 20% Preț: 332.44 lei
- 20% Preț: 628.43 lei
- Preț: 433.42 lei
- 20% Preț: 508.38 lei
- 20% Preț: 339.42 lei
- Preț: 365.61 lei
- 20% Preț: 326.66 lei
- 20% Preț: 330.35 lei
- 20% Preț: 339.95 lei
- 20% Preț: 557.18 lei
- 20% Preț: 188.85 lei
- 20% Preț: 323.38 lei
- 23% Preț: 726.93 lei
- 20% Preț: 308.23 lei
- 20% Preț: 564.38 lei
- 20% Preț: 562.17 lei
- Preț: 454.30 lei
- 20% Preț: 524.11 lei
- 20% Preț: 339.62 lei
Preț: 622.21 lei
Preț vechi: 777.77 lei
-20% Nou
Puncte Express: 933
Preț estimativ în valută:
119.10€ • 128.06$ • 99.29£
119.10€ • 128.06$ • 99.29£
Carte tipărită la comandă
Livrare economică 19 decembrie 24 - 02 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780387984179
ISBN-10: 0387984178
Pagini: 520
Ilustrații: XVI, 520 p. 11 illus.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.74 kg
Ediția:Softcover reprint of the original 1st ed. 1998
Editura: Springer
Colecția Springer
Seria Texts in Computer Science
Locul publicării:New York, NY, United States
ISBN-10: 0387984178
Pagini: 520
Ilustrații: XVI, 520 p. 11 illus.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.74 kg
Ediția:Softcover reprint of the original 1st ed. 1998
Editura: Springer
Colecția Springer
Seria Texts in Computer Science
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1 Introduction.- 1.1 Contracts.- 1.2 Using Contracts.- 1.3 Computers as Agents.- 1.4 Algebra of Contracts.- 1.5 Programming Constructs.- 1.6 Specification Constructs.- 1.7 Correctness.- 1.8 Refinement of Programs.- 1.9 Background.- 1.10 Overview of the Book.- I Foundations.- 2 Posets, Lattices, and Categories.- 3 Higher-Order Logic.- 4 Functions.- 5 States and State Transformers.- 6 Truth Values.- 7 Predicates and Sets.- 8 Boolean Expressions and Conditionals.- 9 Relations.- 10 Types and Data Structures.- II Statements.- 11 Predicate Transformers.- 12 The Refinement Calculus Hierarchy.- 13 Statements.- 14 Statements as Games.- 15 Choice Semantics.- 16 Subclasses of Statements.- 17 Correctness and Refinement of Statements.- III Recursion and Iteration.- 18 Well-founded Sets and Ordinals.- 19 Fixed Points.- 20 Recursion.- 21 Iteration and Loops.- 22 Continuity and Executable Statements.- 23 Working with Arrays.- 24 The N-Queens Problem.- 25 Loops and Two-Person Games.- IV Statement Subclasses.- 26 Statement Classes and Normal Forms.- 27 Specification Statements.- 28 Refinement in Context.- 29 Iteration of Conjunctive Statements.- References.