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.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Sign language
Three W. The little finger crossed X. The wrist Y. The middle of the hand Z". (1641:116–117) John Bulwer's Chirologia: or the natural language of the
Institut Lillois d'Ingénierie de la Santé
capacity to draw up and carry out a plan of action or a project from A to Z. Bsc Public Health and Health Engineering Bsc(Honours) Health Sciences Msc
Madagascar
personnel enseignant de l'éducation de base à Madagascar: Une etude de cas. Quelques reflections intéressant la programmation de l'assistance de l'UNICEF" (PDF)
List of English words of French origin (J–R)
lamentable lamp lampoon lamprey lance Lancelot lancer lancet language (Old Fr. langage) languish languor languorous L'Anse aux Meadows (Fr. L'anse aux méduses :
Jean-François Zygel
Quand du stérile hiver a resplendi l'ennui ... Conditions d'existence du langage musical, in Le Débat, issue 82, November–December 1994, p. 31-34. Interview
Deism
théologie musulmane et l'étude du langage". Histoire. Épistémologie. Langage (in French). 2 (1: Éléments d'Histoire de la tradition linguistique arabe)
Uralic languages
Austerlitz, Robert (1968). "L'ouralien". In Martinet, André (ed.). Le langage. Voegelin, C. F.; Voegelin, F. M. (1977). Classification and Index of the
Glossary of Nazi Germany
aux langages totalitaires : Théorie et Transformations du récit, Hermann, Paris, ISBN 2-7056-6450-5 (in French) Faye, Jean-Pierre (2004). Langages totalitaires
Cable television
(1985). "La télévision aux USA" [Television in the USA]. Communication & Langages (in French). 63 (1): 99–117. doi:10.3406/colan.1985.1667. "History of Cable
Language
Ferdinand de Saussure, who defined the modern discipline of linguistics, first explicitly formulated the distinction using the French word langage for language