Book Search Results
Formal Specification Using Z (computer Science) by David Lightfoot
Find "Formal Specification Using Z (computer Science)" by David Lightfoot through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal Specification Using Z (Computer Science)
By David Lightfoot
“Formal Specification Using Z (Computer Science)” Metadata:
- Title: ➤ Formal Specification Using Z (Computer Science)
- Author: David Lightfoot
- Language: English
- Number of Pages: Median: 1089
- Publisher: Palgrave Macmillan
- Publish Date: 1991 - 2001
“Formal Specification Using Z (Computer Science)” Subjects and Themes:
- Subjects: ➤ Z (computer program language) - Z (Computer program language) - Computer software - Development - Formal methods (Computer science) - Z (Langage de programmation) - Méthodes formelles (Informatique)
Edition Identifiers:
- The Open Library ID: OL10550323M - OL10556804M
- Online Computer Library Center (OCLC) ID: 45829888
- All ISBNs: 0333763270 - 0333544080 - 9780333544082 - 9780333763278
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Specification Using Z (Computer Science) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Formal Specification Using Z (computer Science)” online:
Shop for “Formal Specification Using Z (computer Science)” on popular online marketplaces.
- Ebay: New and used books.