6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994: Workshops in Computing
Editat de David Tillen Limba Engleză Paperback – 19 iul 1994
Din seria Workshops in Computing
- 20% Preț: 332.39 lei
- 20% Preț: 333.22 lei
- 20% Preț: 329.76 lei
- 20% Preț: 336.54 lei
- 20% Preț: 335.88 lei
- 20% Preț: 333.54 lei
- 20% Preț: 331.58 lei
- 20% Preț: 327.77 lei
- 20% Preț: 352.86 lei
- 20% Preț: 330.10 lei
- 20% Preț: 339.99 lei
- 20% Preț: 339.34 lei
- 20% Preț: 339.00 lei
- 20% Preț: 335.88 lei
- 20% Preț: 332.24 lei
- 20% Preț: 332.06 lei
- 20% Preț: 326.97 lei
- 20% Preț: 333.72 lei
- 20% Preț: 342.96 lei
- 20% Preț: 644.66 lei
- 20% Preț: 341.95 lei
- 20% Preț: 330.75 lei
- 20% Preț: 327.29 lei
- 20% Preț: 339.80 lei
- 20% Preț: 341.15 lei
- 20% Preț: 336.35 lei
- 20% Preț: 339.34 lei
- 20% Preț: 335.88 lei
- 20% Preț: 656.03 lei
- 20% Preț: 330.56 lei
- 20% Preț: 330.10 lei
- 20% Preț: 336.67 lei
- 20% Preț: 338.03 lei
- 20% Preț: 345.44 lei
- 20% Preț: 329.58 lei
- 20% Preț: 337.20 lei
- 20% Preț: 330.24 lei
- 20% Preț: 336.54 lei
- 20% Preț: 338.49 lei
- 20% Preț: 338.35 lei
- 20% Preț: 340.98 lei
- 20% Preț: 332.57 lei
- 20% Preț: 654.55 lei
- 20% Preț: 334.53 lei
- 20% Preț: 334.53 lei
- 20% Preț: 334.05 lei
- 20% Preț: 336.67 lei
- 20% Preț: 334.53 lei
Preț: 333.54 lei
Preț vechi: 416.93 lei
-20% Nou
Puncte Express: 500
Preț estimativ în valută:
63.83€ • 66.24$ • 53.35£
63.83€ • 66.24$ • 53.35£
Carte tipărită la comandă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540198864
ISBN-10: 3540198865
Pagini: 320
Ilustrații: X, 309 p. 1 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:Softcover reprint of the original 1st ed. 1994
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
ISBN-10: 3540198865
Pagini: 320
Ilustrații: X, 309 p. 1 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:Softcover reprint of the original 1st ed. 1994
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
Public țintă
ResearchCuprins
Invited Papers.- Using Refinement to Understand Architectural Connection.- Formal Semantics for Ward and Mellor’s Transformation Schemas.- Submitted Papers.- Improving the Process of System Specification and Refinement in B.- Testing and Safety Analysis of AM (Abstract Machine) Specifications.- Formal Development of Authentication Protocols.- Deriving Language Recognition Algorithms. A Case Study in Combining Program Specialisation and Data Refinement.- Program Refinement by Theorem Prover.- Co-Refinement.- Metavariables and Conditional Refinements in the Refinement Calculus.- Machine Code Programs Are Predicates Too.- Laws of Parallel Programming with Shared Variables.- Environment-Based Development of Reactive Systems.- Refinement in Object-Oriented Specification Languages.- Operation Semantics with Read and Write Frames.- Proof Obligations for Real-Time Refinement.- Author Index.