Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994


Book Informaton

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

Author

Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.)

Series

Workshops in Computing

Year of Publication

1994

Publisher

Springer-Verlag London

City of Publication

London

Pages

405

Language

en

ISBN

9783540198840, 9781447134527, 1447134524

ARI Id

1672554896905


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 2 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
Fermenting and Distilli
The Formal Specification in Z of Defence Standard 00–
Formal Specification of Telephone Featur
A tale of two paradigms: Formal methods and software testi
Integrating Formal Methods into a Professional Master of Software Engineering Progr
An Object-Oriented Development Framework for
Z for Managed Objec
Specifying and Interpreting Class Hierarchies in
Z and H
Z and Natural Semanti
Towards Correct Executable Semantics for
Towards a Z Method: Axiomatic Specification in
Software Quality Assurance using the SAZ Meth
Z and Abstract Machine Notation: A Comparis
Visualising Concurrent Z Specificatio
Specifying Real-Time Systems with Z and the Duration Calcul
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in
Producing Z Specifications From Object-Oriented Analys
Animation of Object-Z Specifications with a Set-Oriented Prototyping Langua
Back Matt
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries