Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989: Workshops in Computing
Editat de John E. Nichollsen Limba Engleză Paperback – 24 sep 1990
Din seria Workshops in Computing
- 20% Preț: 314.95 lei
- 20% Preț: 315.74 lei
- 20% Preț: 312.46 lei
- 20% Preț: 318.86 lei
- 20% Preț: 318.26 lei
- 20% Preț: 316.04 lei
- 20% Preț: 314.19 lei
- 20% Preț: 310.57 lei
- 20% Preț: 334.33 lei
- 20% Preț: 312.76 lei
- 20% Preț: 322.14 lei
- 20% Preț: 321.53 lei
- 20% Preț: 321.21 lei
- 20% Preț: 318.26 lei
- 20% Preț: 314.81 lei
- 20% Preț: 314.63 lei
- 20% Preț: 309.81 lei
- 20% Preț: 316.22 lei
- 20% Preț: 324.96 lei
- 20% Preț: 610.64 lei
- 20% Preț: 324.00 lei
- 20% Preț: 313.39 lei
- 20% Preț: 310.12 lei
- 20% Preț: 321.96 lei
- 20% Preț: 323.24 lei
- 20% Preț: 318.71 lei
- 20% Preț: 321.53 lei
- 20% Preț: 318.26 lei
- 20% Preț: 621.41 lei
- 20% Preț: 313.22 lei
- 20% Preț: 312.76 lei
- 20% Preț: 319.01 lei
- 20% Preț: 320.27 lei
- 20% Preț: 327.31 lei
- 20% Preț: 312.29 lei
- 20% Preț: 319.48 lei
- 20% Preț: 312.91 lei
- 20% Preț: 318.86 lei
- 20% Preț: 320.73 lei
- 20% Preț: 316.04 lei
- 20% Preț: 320.60 lei
- 20% Preț: 323.07 lei
- 20% Preț: 315.11 lei
- 20% Preț: 620.00 lei
- 20% Preț: 316.97 lei
- 20% Preț: 316.97 lei
- 20% Preț: 319.01 lei
- 20% Preț: 316.97 lei
Preț: 316.52 lei
Preț vechi: 395.65 lei
-20% Nou
Puncte Express: 475
Preț estimativ în valută:
60.60€ • 65.65$ • 50.60£
60.60€ • 65.65$ • 50.60£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540196273
ISBN-10: 3540196277
Pagini: 288
Ilustrații: VIII, 279 p. 4 illus.
Dimensiuni: 170 x 242 x 15 mm
Greutate: 0.46 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
ISBN-10: 3540196277
Pagini: 288
Ilustrații: VIII, 279 p. 4 illus.
Dimensiuni: 170 x 242 x 15 mm
Greutate: 0.46 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: The State of Use of Formal Methods.- Type Inference in Z.- Minimisation in Formal Specification and Design.- From Programs to Z Specifications.- Computer Aided Transformation of Z into Prolog.- From Z Specifications to Functional Implementations.- A Generalisation of Bags in Z.- Formaliser — An Interactive Support Tool for Z.- Using Z to Develop a CASE Toolset.- Using Z to Describe Large Systems.- CICS/ESA 3.1 Experiences.- Structural Metrics for Z Specifications.- Educating Management in Z.- The Knuth-Bendix Completion Algorithm and its Specification in Z.- A Message Passing System. An Example of Combining CSP and Z.- Structured Methodologies and Formal Notations: Developing a Framework for Synthesis and Investigation.- Posters.- Zork: A Typechecker for Z from York.- The Z Tool.- Use of Z to Specify a Secure System.- ESPRIT BRA ProCoS Project.- Safemos: Demonstration of the Possibility of Totally Verified Systems.- ESPRIT II: REDO at Oxford.- Formal Specification of Window Systems.- PRG Archive Server.- ZIP: a Unification Initiative for Z Standards, Methods and Tools.- List of Z Users.- Selected Z Bibliography.- Z FORUM Electronic Newsletter.