Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008815978/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b12363873.
- catalog contributor b12363874.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "Includes bibliographical references (p. [449]-460) and index.".
- catalog description "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.".
- catalog extent "xviii, 466 p. :".
- catalog hasFormat "Refinement in Z and Object-Z.".
- catalog identifier "185233245X (pbk. : alk. paper)".
- catalog isFormatOf "Refinement in Z and Object-Z.".
- catalog isPartOf "Formal approaches to computing and information technology, 1431-9683".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "London ; New York : Springer,".
- catalog relation "Refinement in Z and Object-Z.".
- catalog subject "005.13/3 21".
- catalog subject "Object-oriented programming (Computer science)".
- catalog subject "QA76.73.Z2 D47 2001".
- catalog subject "Z (Computer program language)".
- catalog tableOfContents "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.".
- catalog title "Refinement in Z and Object-Z : foundations and advanced applications / John Derrick and Eerke Boiten.".
- catalog type "text".