Using Z

Using Z

Woodcock, Davies.

0 / 0

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

Kategorie:

Computers - Programming

Rok:

1999

Wydanie:

free web version

Język:

english

Strony:

407

Plik:

PDF, 1.24 MB

IPFS:

,

english, 1999

Czytaj Online

Trwa konwersja do

Konwersja do nie powiodła się

Możesz być zainteresowany

J. M. Spivey — The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)

J. Bowen — Formal Specification and Documentation Using Z

Heinz Zemanek (auth.), Dines Bjøorner (eds.) — Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

Woodcock J. Using Z. — Specification,refinement,and proof

Ed Currie — The Essence of Z

Jim Woodcock, Jim Davies — Using Z.Specification,refinement,and proof

J. M. Spivey — The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)

D. Ince — An Introduction to Discrete Mathematics and Formal System Specification

Geoff Dromey, or:, R. G. Dromey — Program derivation: development of programs from specifications

John Wordsworth — Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

David Lightfoot (auth.) — Formal Specification Using Z

Cornelis A. Middelburg — Logic and specification: extending VDM-SL for advanced formal specification

Willem-Paul de Roever, Kai Engelhardt — Data Refinement: Model-Oriented Proof Methods and their Comparison

J. R. Abrial — The B-Book: Assigning Programs to Meanings

de Roever W.-P., Engelhardt K. — Data Refinement: Model-Oriented Proof Methods and their Comparison

J. M. Spivey — Understanding Z: A Specification Language and its Formal Semantics

Jean-Raymond Abrial — The B-book : assigning programs to meanings / [...] XD-US

Jonathan Jacky — The Way of Z: Practical Programming with Formal Methods

Woodcock, Jim; Loomes, Martin — Software engineering mathematics

Graeme Smith (auth.) — The Object-Z Specification Language

John Derrick BSc, DPhil, Eerke Boiten Ir, PhD (auth.) — Refinement in Z and Object-Z: Foundations and Advanced Applications

Derek Andrews — A Theory and Practice of Program Development

Brian Oakley CBE (auth.), John E. Nicholls MA (eds.) — Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Jonathan Bowen — Formal Specification and Documentation Using Z: A Case Study Approach

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

Dines Bjorner, C.A.R. Hoare, Hans Langmaack — Formal Methods in Software Development

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.) — Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mike Spivey (auth.) — ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings

Najbardziej popularne frazy