Start Over Save to list Export MARC Display MelCat
     
book jacket

Find in WorldCat
View Library Guide - Computer Science
Author Derrick, John, 1963-, author.
Title Refinement in Z and Object-Z : foundations and advanced applications / John Derrick, Eerke A. Boiten.
Publication Info. London : Springer, [2013?]
©2014
Edition Second edition.
Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOKS-DDA    AVAIL. ONLINE
Description 1 online resource.
Series Formal approaches to computing and information technology. 1431-9683
Bibliography Includes bibliographical references and index.
Contents Pt. I. Refining Z Specifications. 1. An Introduction to Z. 2. Simple Refinement. 3. Data Refinement and Simulations. 4. Refinement in Z. 5. Calculating Refinements. 6. Promotion. 7. Testing and Refinement. 8. A Single Simulation Rule -- Pt. II. Interfaces and Operations: ADTs Viewed in an Environment. 9. Refinement, Observation and Modification. 10. IO Refinement. 11. Weak Refinement. 12. Non-Atomic Refinement. 13. Cast Study: A Digital and Analogue Watch. 14. Further Generalisations -- Pt. III. Object-Oriented Refinement. 15. An Introduction to Object-Z. 16. Refinement in Object-Z. 17. Class Refinement -- Pt. IV. Modelling State and Behaviour. 18. Combining CSP and Object-Z. 19. Refining CSP and Object-Z Specifications.
Reproduction Electronic reproduction. Perth, W.A. Available via World Wide Web.
Note Description based on online resource; title from PDF title page (SpringerLink, viewed September 6, 2013).
Subject Z (Computer program language)
Object-oriented programming (Computer science)
Added Author Boiten, Eerke, 1966-, author.
Ebooks Corporation
ISBN 9781447153559 (electronic bk.)
1447153553 (electronic bk.)
9781447153542
Standard No. 10.1007/978-1-4471-5355-9 doi
Permanent url for this catalog record: