5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992: Workshops in Computing
Editat de Cliff B. Jones, Roger C. Shaw, Tim Denviren Limba Engleză Paperback – 27 oct 1992
Din seria Workshops in Computing
- 20% Preț: 325.70 lei
- 20% Preț: 326.52 lei
- 20% Preț: 323.13 lei
- 20% Preț: 329.76 lei
- 20% Preț: 329.13 lei
- 20% Preț: 326.84 lei
- 20% Preț: 324.92 lei
- 20% Preț: 321.17 lei
- 20% Preț: 345.77 lei
- 20% Preț: 323.46 lei
- 20% Preț: 333.14 lei
- 20% Preț: 332.50 lei
- 20% Preț: 332.19 lei
- 20% Preț: 329.13 lei
- 20% Preț: 325.56 lei
- 20% Preț: 325.38 lei
- 20% Preț: 320.40 lei
- 20% Preț: 327.02 lei
- 20% Preț: 336.06 lei
- 20% Preț: 631.62 lei
- 20% Preț: 335.08 lei
- 20% Preț: 324.09 lei
- 20% Preț: 320.71 lei
- 20% Preț: 332.97 lei
- 20% Preț: 334.30 lei
- 20% Preț: 329.58 lei
- 20% Preț: 332.50 lei
- 20% Preț: 329.13 lei
- 20% Preț: 642.77 lei
- 20% Preț: 323.93 lei
- 20% Preț: 323.46 lei
- 20% Preț: 329.91 lei
- 20% Preț: 331.22 lei
- 20% Preț: 338.49 lei
- 20% Preț: 322.96 lei
- 20% Preț: 323.59 lei
- 20% Preț: 329.76 lei
- 20% Preț: 331.68 lei
- 20% Preț: 326.84 lei
- 20% Preț: 331.55 lei
- 20% Preț: 334.10 lei
- 20% Preț: 325.88 lei
- 20% Preț: 641.31 lei
- 20% Preț: 327.80 lei
- 20% Preț: 327.80 lei
- 20% Preț: 327.34 lei
- 20% Preț: 329.91 lei
- 20% Preț: 327.80 lei
Preț: 330.39 lei
Preț vechi: 413.00 lei
-20% Nou
Puncte Express: 496
Preț estimativ în valută:
63.24€ • 65.73$ • 52.38£
63.24€ • 65.73$ • 52.38£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540197522
ISBN-10: 3540197524
Pagini: 392
Ilustrații: VIII, 381 p. 3 illus.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.55 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
ISBN-10: 3540197524
Pagini: 392
Ilustrații: VIII, 381 p. 3 illus.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.55 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
Public țintă
ResearchCuprins
Opening Address.- Concurrent Processes as Objects (Abstract).- Formalising Dijkstra’s Development Strategy within Stark’s Formalism.- A Recursion Removal Theorem.- Demonstrating the Compliance of Ada Programs with Z Specifications.- Methods and Tools for the Verification of Critical Properties.- Refinement and Confidentiality.- Software Reification using the SETS Calculus.- Classification of Refinements in VDM.- Constructive Refinement of First Order Specifications.- A Model of the Refinement Process.- A Window Inference Tool for Refinement.- Using Metavariables in Natural Deduction Proofs.- A Tactic Driven Refinement Tool.- Revisiting Abstraction Functions for Reasoning about Concurrency.- A Case Study in Formally Developing State-Based Parallel Programs — the Dutch National Torus.- Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language.- A Note on Compositional Refinement.- Implementing Promoted Operations in Z.- Author Index.