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