Explore: Methodes Formelles (informatique)
Discover books, insights, and more — all in one place.
Learn more about Methodes Formelles (informatique) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “methodes-formelles-%28informatique%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal methods for components and objects
By Marcello M. Bonsangue, Susanne Graf and Willem-Paul de Roever
“Formal methods for components and objects” Metadata:
- Title: ➤ Formal methods for components and objects
- Authors: Marcello M. BonsangueSusanne GrafWillem-Paul de Roever
- Language: English
- Number of Pages: Median: 429
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006 - 2008 - 2009
“Formal methods for components and objects” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Congresses - Component software - Object-oriented programming (Computer science) - Informatique - Approche orientee objet (Informatique) - Composants logiciels - Methodes formelles (Informatique) - Congres - Computer software
Edition Identifiers:
- The Open Library ID: OL37140537M - OL9056720M - OL37140538M
- Online Computer Library Center (OCLC) ID: 71008339
- Library of Congress Control Number (LCCN): 2006930291
- All ISBNs: ➤ 3540921885 - 9783642041679 - 9783540367499 - 9783540921882 - 3642041671 - 3540367497
Access and General Info:
- First Year Published: 2006
- 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 for components and objects at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Formal approaches to software testing
By Carsten Weise
“Formal approaches to software testing” Metadata:
- Title: ➤ Formal approaches to software testing
- Author: Carsten Weise
- Language: English
- Number of Pages: Median: 219
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006
“Formal approaches to software testing” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Testing - Congresses - Computer software - Informatique - Programming Languages - Essais - COMPUTERS - General - Methodes formelles (Informatique) - Model Checking - Logiciels - Congres - Testen - Software - Computer software, testing
Edition Identifiers:
- The Open Library ID: OL37118265M - OL9689388M
- Online Computer Library Center (OCLC) ID: 69983519 - 70119308
- Library of Congress Control Number (LCCN): 2006926507
- All ISBNs: 3540344543 - 9783540344544 - 3540344551 - 9783540344551
Access and General Info:
- First Year Published: 2006
- 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 approaches to software testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Formal modeling and analysis of timed systems
By Wang Yi
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: Wang Yi
- Language: English
- Number of Pages: Median: 305
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2005 - 2006
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Machine theory - Automates temporels - Méthodes formelles (Informatique) - Temporal automata - Simulation par ordinateur - Robots - Congrès - Automates mathématiques, Théorie des - Computer simulation - Congresses - Formal methods (Computer science) - Theorie des Automates mathematiques - Temporale Logik - Echtzeitsystem - COMPUTERS - Congres - Zeitdiskretes System - Formale Sprache - Informatique - Formale Methode - Methodes formelles (Informatique) - Automata
Edition Identifiers:
- The Open Library ID: OL9733350M - OL37118278M
- Online Computer Library Center (OCLC) ID: 63107695 - 62513772
- Library of Congress Control Number (LCCN): 2005937088
- All ISBNs: 3540316167 - 9783540309468 - 9783540316169 - 3540309462
Access and General Info:
- First Year Published: 2005
- 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 modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4FM'99-- formal methods
By World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)
“FM'99-- formal methods” Metadata:
- Title: FM'99-- formal methods
- Author: ➤ World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)
- Language: English
- Number of Pages: Median: 1875
- Publisher: Springer
- Publish Date: 1999
- Publish Location: New York - Berlin
“FM'99-- formal methods” Subjects and Themes:
- Subjects: ➤ Congresses - Development - Formal methods (Computer science) - Application software - Developpement - Engenharia de programacao (software) - Conception de Systemes - Genie logiciel - Logiciels d'application - Methodes formelles (Informatique) - Congres - Progiciels - Logic design - Computer science - Software engineering - Application software, development - Computers, congresses - System design
Edition Identifiers:
- The Open Library ID: OL18107772M
- Online Computer Library Center (OCLC) ID: 42619613
- Library of Congress Control Number (LCCN): 99049628
- All ISBNs: 9783540665885 - 3540665889 - 3540665870 - 9783540665878
Access and General Info:
- First Year Published: 1999
- 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 FM'99-- formal methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Formal 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.
6Duration calculus
By Chaochen Zhou and Michael R. Hansen
“Duration calculus” Metadata:
- Title: Duration calculus
- Authors: Chaochen ZhouMichael R. Hansen
- Language: English
- Number of Pages: Median: 247
- Publisher: Springer
- Publish Date: 2004
“Duration calculus” Subjects and Themes:
- Subjects: ➤ Mathematics - Real-time data processing - Formal methods (Computer science) - Data processing - Mathematics, data processing - Temps reel - Methodes formelles (Informatique) - Mathematiques - Informatique
Edition Identifiers:
- The Open Library ID: OL9057045M
- Online Computer Library Center (OCLC) ID: 53178309
- Library of Congress Control Number (LCCN): 2003066406
- All ISBNs: 9783540408239 - 3540408231
Access and General Info:
- First Year Published: 2004
- 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 Duration calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.