Explore: Formalisation Langage
Discover books, insights, and more — all in one place.
Learn more about Formalisation Langage with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formalisation-langage”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The 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.
2The 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.