Explore: Méthode Formelle
Discover books, insights, and more — all in one place.
Learn more about Méthode Formelle with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “m%c3%a9thode-formelle”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Verification, model checking, and abstract interpretation
By VMCAI 2004 (2004 Venice, Italy)
“Verification, model checking, and abstract interpretation” Metadata:
- Title: ➤ Verification, model checking, and abstract interpretation
- Author: ➤ VMCAI 2004 (2004 Venice, Italy)
- Language: English
- Number of Pages: Median: 324
- Publisher: Springer
- Publish Date: 2004
- Publish Location: New York - Berlin
“Verification, model checking, and abstract interpretation” Subjects and Themes:
- Subjects: ➤ Computer programs - Congresses - Verification - Logiciels - Congrès - Vérification - COMPUTERS - Software Development & Engineering - Quality Assurance & Testing - Abstrakte Interpretation - Formale Methode - Kongress - Model Checking - Programmanalyse - Programmverifikation - Vérification de logiciels - Model-checking (Informatique) - Méthode formelle
Edition Identifiers:
- The Open Library ID: OL18209567M - OL3303006M
- Online Computer Library Center (OCLC) ID: 54400193
- Library of Congress Control Number (LCCN): 2004043677
- All ISBNs: 9783540208037 - 3540208038
Access and General Info:
- First Year Published: 2004
- 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 Verification, model checking, and abstract interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Formal methods in computer-aided design
By FMCAD 2004 (2004 Austin, Texas)
“Formal methods in computer-aided design” Metadata:
- Title: ➤ Formal methods in computer-aided design
- Author: ➤ FMCAD 2004 (2004 Austin, Texas)
- Language: English
- Number of Pages: Median: 444
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin
“Formal methods in computer-aided design” Subjects and Themes:
- Subjects: ➤ Computer-aided design - Congresses - Design and construction - Digital integrated circuits - Formal methods (Computer science) - Integrated circuits - Mathematics - Verification - Circuit integre numerique - Conception et construction - Methode formelle - Conception assistee par ordinateur - Congres - Mathematiques - Circuits integres numeriques - Model-checking (Informatique) - Methodes formelles (Informatique) - Circuits integres - Software engineering - Circuits intégrés numériques - Conception assistée par ordinateur - Congrès - Circuits intégrés - Vérification - Méthodes formelles (Informatique) - Mathématiques - Méthode formelle - Circuit intégré numérique
Edition Identifiers:
- The Open Library ID: OL3316734M
- Online Computer Library Center (OCLC) ID: 57066779
- Library of Congress Control Number (LCCN): 2004115344
- All ISBNs: 9783540237389 - 3540237380
Access and General Info:
- First Year Published: 2004
- 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 methods in computer-aided design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Formal 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.