Explore: Vdm**
Discover books, insights, and more — all in one place.
Learn more about Vdm** with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “vdm%2B%2B”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1An 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.
2Formal object-oriented development
By Kevin Lano
“Formal object-oriented development” Metadata:
- Title: ➤ Formal object-oriented development
- Author: Kevin Lano
- Language: English
- Number of Pages: Median: 431
- Publisher: ➤ Springer-Verlag - Springer - Springer London, Limited
- Publish Date: 1995 - 2011 - 2012
- Publish Location: London - Berlin
“Formal object-oriented development” Subjects and Themes:
- Subjects: ➤ Z (Programmiersprache) - Formale Spezifikationstechnik - VDM - Software - Objektorientierung - Qualitätssicherung - Object-oriented programming (Computer science)
Edition Identifiers:
- The Open Library ID: OL37237741M - OL27990273M - OL21842368M
- Online Computer Library Center (OCLC) ID: 32778376
- Library of Congress Control Number (LCCN): 95032281
- All ISBNs: ➤ 144713074X - 3540199780 - 9781447130734 - 9781447130741 - 9783540199786 - 1447130731
Access and General Info:
- First Year Published: 1995
- 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 object-oriented development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3The Vienna development method
By D. Bjørner and Jones, C. B.
“The Vienna development method” Metadata:
- Title: The Vienna development method
- Authors: D. BjørnerJones, C. B.
- Language: English
- Publisher: Springer-Verlag
- Publish Date: 1978
“The Vienna development method” Subjects and Themes:
- Subjects: ➤ Metasprache - Formalisation langage - Langage programmation - Semantik - ML (Computer program language) - Programmeertalen - Programmiersprache - Langages de programmation - VDM - Me talangage - Aufsatzsammlung - Métalangage
Edition Identifiers:
- The Open Library ID: OL10151720M
- All ISBNs: 9780387087665 - 0387087664
Access and General Info:
- First Year Published: 1978
- 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 Vienna development method at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4The Vienna development method
By D. Bjørner and Jones, C. B.
“The Vienna development method” Metadata:
- Title: The Vienna development method
- Authors: D. BjørnerJones, C. B.
- Language: English
- Number of Pages: Median: 404
- Publisher: Springer
- Publish Date: 1978
“The Vienna development method” Subjects and Themes:
- Subjects: ➤ Metasprache - Formalisation langage - Langage programmation - Semantik - ML (Computer program language) - Programmeertalen - Métalangage - Programmiersprache - Langages de programmation - VDM - Aufsatzsammlung - Ml (computer program language)
Edition Identifiers:
- The Open Library ID: OL12771260M
- All ISBNs: 9783540087663 - 3540087664
Access and General Info:
- First Year Published: 1978
- 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 Vienna development method at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Formal methods and object technology
By Stephen J. Goldsack
“Formal methods and object technology” Metadata:
- Title: ➤ Formal methods and object technology
- Author: Stephen J. Goldsack
- Language: English
- Number of Pages: Median: 368
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - London
“Formal methods and object technology” Subjects and Themes:
- Subjects: ➤ LOTOS - Programmation orientée objets (informatique) - Conception orientée objets (informatique) - VDM++ - Object-oriented programming (Computer science) - Langages formels - Softwareentwicklung - Objektorientierung - D_PARLOG++ - Méthode formelle - Formal methods (Computer science) - Programmation par objets - Formale Spezifikationstechnik - Objektorientierte Programmierung - Conception orientee objets (informatique) - Programmation orientee objets (informatique) - Object-oriented programming (computer science)
Edition Identifiers:
- The Open Library ID: OL995164M
- Library of Congress Control Number (LCCN): 96033762
- All ISBNs: 3540199772 - 9783540199779
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal methods and object technology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6A theory and practice of program development
By Derek Andrews
“A theory and practice of program development” Metadata:
- Title: ➤ A theory and practice of program development
- Author: Derek Andrews
- Language: English
- Number of Pages: Median: 405
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York - London
“A theory and practice of program development” Subjects and Themes:
- Subjects: ➤ Development - Computer programming - Computer software - Spezifikationssprache - Softwareentwicklung - Programmatuurtechniek - VDM - Formale Spezifikationstechnik - Formal languages - Software engineering
Edition Identifiers:
- The Open Library ID: OL673259M
- Online Computer Library Center (OCLC) ID: 36767654
- Library of Congress Control Number (LCCN): 97019343
- All ISBNs: 3540761624 - 9783540761624
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A theory and practice of program development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.