Explore: Z (langage De Programmation)
Discover books, insights, and more — all in one place.
Learn more about Z (langage De Programmation) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “z-%28langage-de-programmation%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1An introduction to formal specification and Z
By Ben Potter
“An introduction to formal specification and Z” Metadata:
- Title: ➤ An introduction to formal specification and Z
- Author: Ben Potter
- Language: English
- Number of Pages: Median: 369
- Publisher: Prentice Hall
- Publish Date: 1991 - 1996
- Publish Location: New York - London
“An introduction to formal specification and Z” Subjects and Themes:
- Subjects: ➤ Development - Computer software - Z (Computer program language) - Formal languages - Z (langage de programmation) - Logiciels - Développement - Z (Langage de programmation)
Edition Identifiers:
- The Open Library ID: OL1855860M - OL978682M
- Library of Congress Control Number (LCCN): 90007763 - 96015929
- All ISBNs: 0132422077 - 9780134787022 - 9780132422079 - 0134787021
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find An introduction to formal specification and Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Understanding Z
By J. M. Spivey
“Understanding Z” Metadata:
- Title: Understanding Z
- Author: J. M. Spivey
- Language: English
- Number of Pages: Median: 136
- Publisher: Cambridge University Press
- Publish Date: 1988 - 2008
- Publish Location: ➤ New York - Cambridge [Cambridgeshire]
“Understanding Z” Subjects and Themes:
- Subjects: ➤ Z (Computer program language) - Semantics - Programming languages (Electronic computers) - Programmeertalen - Z (Langage de programmation) - Sémantique - Langages de programmation - Z - Computer programs
Edition Identifiers:
- The Open Library ID: OL2403411M - OL34427081M
- Online Computer Library Center (OCLC) ID: 17202888
- Library of Congress Control Number (LCCN): 87033841
- All ISBNs: 9780521334297 - 9780521054140 - 0521054141 - 0521334292
Author's Alternative Names:
"Michael Spivey" and "Mike Spivey"Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Understanding Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Exercices corrigés en langage Z
By Pascal André
“Exercices corrigés en langage Z” Metadata:
- Title: ➤ Exercices corrigés en langage Z
- Author: Pascal André
- Language: fre
- Number of Pages: Median: 243
- Publisher: Ellipses
- Publish Date: 2004
- Publish Location: Paris
“Exercices corrigés en langage Z” Subjects and Themes:
- Subjects: ➤ Object-oriented programming languages - Z (Computer program language) - Problems, exercises - Langages orientés objet (Informatique) - Z (Langage de programmation) - Problèmes et exercices - Z (langage de programmation) - Manuels d'enseignement supérieur - Génie logiciel - Manuel
Edition Identifiers:
- The Open Library ID: OL38630831M
- Online Computer Library Center (OCLC) ID: 492524355
- All ISBNs: 9782729819422 - 2729819428
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Exercices corrigés en langage Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Essence of Z (Prentice-Hall Essence of Computing)
By Ed Currie
“Essence of Z (Prentice-Hall Essence of Computing)” Metadata:
- Title: ➤ Essence of Z (Prentice-Hall Essence of Computing)
- Author: Ed Currie
- Language: English
- Number of Pages: Median: 200
- Publisher: Prentice-Hall
- Publish Date: 1999
“Essence of Z (Prentice-Hall Essence of Computing)” Subjects and Themes:
- Subjects: ➤ Z (Computer program language) - Problems, exercises - Z (Langage de programmation) - Problèmes et exercices - Z - Z (programmeertaal)
Edition Identifiers:
- The Open Library ID: OL9298634M - OL7343981M
- Online Computer Library Center (OCLC) ID: 59403351
- Library of Congress Control Number (LCCN): 95045890
- All ISBNs: 013749839X - 9780137498390
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Essence of Z (Prentice-Hall Essence of Computing) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5An introduction to formal specification with Z and VDM
By Deri Sheppard
“An introduction to formal specification with Z and VDM” Metadata:
- Title: ➤ An introduction to formal specification with Z and VDM
- Author: Deri Sheppard
- Language: English
- Number of Pages: Median: 398
- Publisher: McGraw-Hill
- Publish Date: 1995
- Publish Location: London - New York
“An introduction to formal specification with Z and VDM” Subjects and Themes:
- Subjects: ➤ Development - Z (Computer program language) - Computer software - Z (programmeertaal) - Z (langage de programmation) - Z (computer program language) - Formale Spezifikationstechnik - Logiciels - Développement - Z - VDM
Edition Identifiers:
- The Open Library ID: OL1095490M
- Library of Congress Control Number (LCCN): 94020024
- All ISBNs: 9780077079079 - 0077079078
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find An introduction to formal specification with Z and VDM at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Z
By Antoni Diller
“Z” Metadata:
- Title: Z
- Author: Antoni Diller
- Language: English
- Number of Pages: Median: 374
- Publisher: ➤ J. Wiley - Wiley & Sons - Wiley
- Publish Date: 1990 - 1994
- Publish Location: ➤ New York - Chichester, West Sussex, England - Chichester [England]
“Z” Subjects and Themes:
- Subjects: ➤ Z (Computer program language) - Formal methods (Computer science) - Z (langage de programmation) - Computer programs
Edition Identifiers:
- The Open Library ID: OL7631315M - OL1875791M - OL1081404M
- Online Computer Library Center (OCLC) ID: 30025921
- Library of Congress Control Number (LCCN): 90035819 - 94004943
- All ISBNs: 0471939730 - 9780471939733 - 9780471924890 - 047192489X
First Setence:
"Z is a language, but knowing this does not tell you very much about it because there are many different kinds of language, such as natural language and programming language."
Access and General Info:
- First Year Published: 1990
- 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 Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal 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.
8Formal Specification and Documentation Using Z
By Jonathan Bowen
“Formal Specification and Documentation Using Z” Metadata:
- Title: ➤ Formal Specification and Documentation Using Z
- Author: Jonathan Bowen
- Language: English
- Number of Pages: Median: 302
- Publisher: ➤ International Thomson Computer Press
- Publish Date: 1996
- Publish Location: London, UK
“Formal Specification and Documentation Using Z” Subjects and Themes:
- Subjects: ➤ Z (Computer program language) - System design - Computer software - Development - Software documentation - Z (Langage de programmation) - Conception de systèmes - Logiciels - Documentation
Edition Identifiers:
- The Open Library ID: OL11919585M
- Online Computer Library Center (OCLC) ID: 34763106
- All ISBNs: 1850322309 - 9781850322306
Access and General Info:
- First Year Published: 1996
- 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 Formal Specification and Documentation Using Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9The 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.