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ț: 474.58 lei
- 20% Preț: 675.35 lei
- 20% Preț: 409.70 lei
- 20% Preț: 306.35 lei
- 20% Preț: 357.55 lei
- 20% Preț: 1197.18 lei
- 20% Preț: 406.21 lei
- 20% Preț: 392.09 lei
- 20% Preț: 305.30 lei
- 20% Preț: 444.93 lei
- 20% Preț: 412.42 lei
- 20% Preț: 444.91 lei
- 20% Preț: 370.59 lei
- 20% Preț: 503.87 lei
- 20% Preț: 370.22 lei
- 20% Preț: 515.34 lei
- 15% Preț: 613.49 lei
- 20% Preț: 355.85 lei
- 20% Preț: 343.40 lei
- 20% Preț: 174.99 lei
- 20% Preț: 318.00 lei
- 20% Preț: 379.71 lei
- 20% Preț: 715.48 lei
- 20% Preț: 638.36 lei
- Preț: 440.52 lei
- 20% Preț: 516.39 lei
- 20% Preț: 344.75 lei
- Preț: 371.35 lei
- 20% Preț: 331.78 lei
- 20% Preț: 597.71 lei
- 20% Preț: 337.66 lei
- 20% Preț: 335.77 lei
- 20% Preț: 339.95 lei
- 20% Preț: 565.98 lei
- 20% Preț: 191.98 lei
- 20% Preț: 328.46 lei
- 23% Preț: 726.93 lei
- 20% Preț: 313.06 lei
- 20% Preț: 573.29 lei
- 20% Preț: 571.05 lei
- Preț: 454.30 lei
- 20% Preț: 524.11 lei
Preț: 632.49 lei
Preț vechi: 790.61 lei
-20% Nou
Puncte Express: 949
Preț estimativ în valută:
121.05€ • 127.70$ • 100.88£
121.05€ • 127.70$ • 100.88£
Carte tipărită la comandă
Livrare economică 02-16 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.