Explore: Z <programmiersprache>
Discover books, insights, and more — all in one place.
Learn more about Z <programmiersprache> with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “z-%3Cprogrammiersprache%3E”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The Z formal specification notation
By Jonathan P. Bowen
“The Z formal specification notation” Metadata:
- Title: ➤ The Z formal specification notation
- Author: Jonathan P. Bowen
- Language: English
- Number of Pages: Median: 435
- Publisher: Springer
- Publish Date: 1997
“The Z formal specification notation” Subjects and Themes:
- Subjects: Z <Programmiersprache> - Z (computer program language)
- Places: Reading <1997>
Edition Identifiers:
- The Open Library ID: OL9341283M
- All ISBNs: 9783540627173 - 3540627170
First Setence:
"Much has been written in the past decade about the usefulness of formal methods for developing computer systems."
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 The Z formal specification notation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Refinement in Z and Object-Z
By John Derrick and Eerke A. Boiten
“Refinement in Z and Object-Z” Metadata:
- Title: Refinement in Z and Object-Z
- Authors: John DerrickEerke A. Boiten
- Language: ger
- Publisher: Springer London
- Publish Date: 2001
- Publish Location: London
“Refinement in Z and Object-Z” Subjects and Themes:
- Subjects: Verfeinerung - Z <Programmiersprache> - Object-Z
Edition Identifiers:
- The Open Library ID: OL27084958M
- Online Computer Library Center (OCLC) ID: 725336217
- All ISBNs: 1447102576 - 9781447102571
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Refinement in Z and Object-Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3The Z formal specification notation
By Jonathan P. Bowen and Michael G. Hinchey
“The Z formal specification notation” Metadata:
- Title: ➤ The Z formal specification notation
- Authors: Jonathan P. BowenMichael G. Hinchey
- Language: English
- Number of Pages: Median: 417
- Publisher: Springer
- Publish Date: 1998
“The Z formal specification notation” Subjects and Themes:
- Subjects: ➤ Z <Programmiersprache> - Formale Spezifikationstechnik - Computers, congresses - Z (Computer program language) - Congresses - Z (langage de programmation) - Congrès
Edition Identifiers:
- The Open Library ID: OL12778127M
- Online Computer Library Center (OCLC) ID: 40118414
- All ISBNs: 9783540650706 - 3540650709
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 The Z formal specification notation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.