Explore: Model Checking
Discover books, insights, and more — all in one place.
Learn more about Model Checking with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “model-checking”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Model checking
By Edmund M. Clarke Jr., Orna Grumberg and Doron A. Peled
“Model checking” Metadata:
- Title: Model checking
- Authors: Edmund M. Clarke Jr.Orna GrumbergDoron A. Peled
- Language: English
- Number of Pages: Median: 377
- Publisher: The MIT Press - MIT Press
- Publish Date: 1999 - 2018
“Model checking” Subjects and Themes:
- Subjects: ➤ Datenverarbeitungssystem - Computersystemen - Engenharia de software - Modellen - Verificação e validação de software - Vérification - Model Checking - Verification - Logiciels - Computer systems - Verificatie - Operating systems (computers) - Computer software, verification - COMPUTERS - Software Development & Engineering - Systems Analysis & Design - Modellen (theorie) - Engineering & Applied Sciences - Computer Science - Sat (educational test) - Models and modelmaking
Edition Identifiers:
- The Open Library ID: OL29803635M - OL53279753M - OL9769008M - OL27372221M - OL29709655M
- Online Computer Library Center (OCLC) ID: 1030446194 - 49568935 - 40675218
- Library of Congress Control Number (LCCN): 99017979 - 2018014965
- All ISBNs: ➤ 0585385580 - 0262270455 - 0262032708 - 9780262032704 - 0262349442 - 9780262038836 - 9780585385587 - 0262038838 - 9780262270458 - 9780262349444
Access and General Info:
- First Year Published: 1999
- 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 Model checking 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.
3Computation Engineering:
By Ganesh Gopalakrishnan
“Computation Engineering:” Metadata:
- Title: Computation Engineering:
- Author: Ganesh Gopalakrishnan
- Language: English
- Number of Pages: Median: 476
- Publisher: Springer
- Publish Date: 2006 - 2007 - 2010
“Computation Engineering:” Subjects and Themes:
- Subjects: ➤ Machine theory - Mathematics - Computer logic - Computer science - Informatique - Komplexitätstheorie - Automates mathématiques, Théorie des - Model Checking - Mathématiques - Automatentheorie - Theoretische Informatik - Logique informatique - Computer engineering - Mathematiques - Theorie des Automates mathematiques - Information theory - Systems engineering - Theory of Computation - Circuits and Systems - Mathematical Logic and Formal Languages - Electronic and Computer Engineering
Edition Identifiers:
- The Open Library ID: OL7444698M - OL27961860M - OL9652093M
- Online Computer Library Center (OCLC) ID: 70249249
- Library of Congress Control Number (LCCN): 2006920602
- All ISBNs: ➤ 9780387244181 - 0387244182 - 1441937412 - 9781441937414 - 9780387244198 - 0387244190
Access and General Info:
- First Year Published: 2006
- 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 Computation Engineering: at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Verification, Model Checking, and Abstract Interpretation
By Kedar S. Namjoshi and Andreas Podelski
“Verification, Model Checking, and Abstract Interpretation” Metadata:
- Title: ➤ Verification, Model Checking, and Abstract Interpretation
- Authors: Kedar S. NamjoshiAndreas Podelski
- Language: English
- Number of Pages: Median: 395
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2005 - 2007
“Verification, Model Checking, and Abstract Interpretation” Subjects and Themes:
- Subjects: ➤ Computer Programming - Computers - Computers - General Information - Computer Books: General - Logic Design - Programming - Software Development - Programming Languages - General - Computers / Logic Design - abstarct interpretation - abstract domains - abstraction - debugging techniques - deductive methods - formal methods - formal verification - higher-order languages - model checking - optimization - Computer Science - Operating Systems - General - Computer programs - Congresses - Verification
Edition Identifiers:
- The Open Library ID: OL37122047M - OL37121754M - OL12810226M
- Online Computer Library Center (OCLC) ID: 78203757
- Library of Congress Control Number (LCCN): 2006939351
- All ISBNs: ➤ 9783540697350 - 9783540316220 - 3540697357 - 3540697381 - 3540316221 - 9783540697381
Access and General Info:
- First Year Published: 2005
- 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 Verification, Model Checking, and Abstract Interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Verification, 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.
6Formal methods
By Keijiro Araki
“Formal methods” Metadata:
- Title: Formal methods
- Author: Keijiro Araki
- Language: English
- Publisher: Springer
- Publish Date: 2003
- Publish Location: Heidelberg - Berlin
“Formal methods” Subjects and Themes:
- Subjects: ➤ Programmanalyse - Programmverifikation - Formale Methode - Softwareentwicklung - Model Checking - Testen - Systementwicklung - Software - Computer software, development - Computer science - System design
Edition Identifiers:
- The Open Library ID: OL27039272M
- Online Computer Library Center (OCLC) ID: 76633362
- All ISBNs: 3540452362 - 9783540452362
Access and General Info:
- First Year Published: 2003
- 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 methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Quality of software architectures and software quality
By International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany)
“Quality of software architectures and software quality” Metadata:
- Title: ➤ Quality of software architectures and software quality
- Author: ➤ International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany)
- Language: English
- Number of Pages: Median: 288
- Publisher: Springer
- Publish Date: 2005
- Publish Location: Berlin
“Quality of software architectures and software quality” Subjects and Themes:
- Subjects: ➤ Congresses - Computer software - Quality control - Computer architecture - Modellgetriebene Entwicklung - Leistungsbewertung - Ordinateurs - Congrès - Software - Model Checking - Architecture - REFERENCE - Qualité - General - Contrôle - Modellierung - Logiciels - Qualité du logiciel - Contrôle de qualité - Architecture logicielle - Softwarearchitektur - Testen - Qualitätssicherung - Dienstgüte - Quality assurance
Edition Identifiers:
- The Open Library ID: OL19291515M - OL18244810M
- Online Computer Library Center (OCLC) ID: 61747155 - 61714952
- Library of Congress Control Number (LCCN): 2005932207
- All ISBNs: 9783540290339 - 3540290338
Access and General Info:
- First Year Published: 2005
- 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 Quality of software architectures and software quality at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Abstraction, reformulation, and approximation
By Sven Koenig and Robert C. Holte
“Abstraction, reformulation, and approximation” Metadata:
- Title: ➤ Abstraction, reformulation, and approximation
- Authors: Sven KoenigRobert C. Holte
- Language: English
- Number of Pages: Median: 349
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2002 - 2006
“Abstraction, reformulation, and approximation” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Artificial intelligence - Formulierung - Approximation, Theorie de l' - Inferenz - Maschinelles Lernen - Kunstliche Intelligenz - Model Checking - Programmierung - Congres - Constraint-Erfullung - Korrektur - Informatique - INTELIGENCIA ARTIFICIAL (CONGRESSOS) - Abstraktion - Kongress - Approximation - ESPECIFICACʹAO DE PROGRAMAS E SISTEMAS (CONGRESSOS) - Intelligence artificielle - Logic design
Edition Identifiers:
- The Open Library ID: OL37093017M - OL9667741M
- Online Computer Library Center (OCLC) ID: 50129346
- Library of Congress Control Number (LCCN): 2002026828
- All ISBNs: 9783540456223 - 3540456228 - 9783540439417 - 3540439412
First Setence:
"How can a computer program developer ensure that a program actually implements its intended purpose?"
Access and General Info:
- First Year Published: 2002
- 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 Abstraction, reformulation, and approximation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
By Zhiming Liu
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Metadata:
- Title: ➤ Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
- Author: Zhiming Liu
- Publisher: Springer
- Publish Date: 2009
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Automatic theorem proving - Congresses - Formale Methode - Kongress - Verifikation - Model Checking - Softwareentwicklung - Hardwareentwurf - Systementwurf - Systemanalyse - Zeitbehafteter Automat - Eingebettetes System - Hybrides System
Edition Identifiers:
- The Open Library ID: OL26049517M
- Online Computer Library Center (OCLC) ID: 449849149
- Library of Congress Control Number (LCCN): 2009935680
- All ISBNs: 3642047602 - 9783642047602
Access and General Info:
- First Year Published: 2009
- 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 Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
1025 Years Of Model Checking History Achievements Perspectives
By Orna Grumberg
“25 Years Of Model Checking History Achievements Perspectives” Metadata:
- Title: ➤ 25 Years Of Model Checking History Achievements Perspectives
- Author: Orna Grumberg
- Number of Pages: Median: 230
- Publisher: Springer
- Publish Date: 2008
“25 Years Of Model Checking History Achievements Perspectives” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer systems - Verification - Informatique - Structure logique - Génie logiciel - Model Checking - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL26012976M
- Online Computer Library Center (OCLC) ID: 232569762 - 421407126
- Library of Congress Control Number (LCCN): 2008929605
- All ISBNs: 9783540698494 - 3540698493
Access and General Info:
- First Year Published: 2008
- 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 25 Years Of Model Checking History Achievements Perspectives at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Formal Modeling and Analysis of Timed Systems
By Joël Ouaknine
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Author: Joël Ouaknine
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Modeling and Analysis of Timed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Data processing - Computer science - Software engineering - Algebra - Information theory - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science) - Machine theory - Hybrides System - Kongress - Echtzeitsystem - Formale Methode - Model Checking - Temporale Logik - Zeitbehafteter Automat - Zeitbewertetes Petri-Netz - Zeitdiskretes System - Robots
Edition Identifiers:
- The Open Library ID: OL25536219M
- Online Computer Library Center (OCLC) ID: 436030820
- Library of Congress Control Number (LCCN): 2009934015
- All ISBNs: 3642043682 - 9783642043680 - 9783642043673 - 3642043674
Access and General Info:
- First Year Published: 2009
- 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 Formal Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Model Checking and Artificial Intelligence
By MoChArt 2008 (2008 Patrai, Greece)
“Model Checking and Artificial Intelligence” Metadata:
- Title: ➤ Model Checking and Artificial Intelligence
- Author: ➤ MoChArt 2008 (2008 Patrai, Greece)
- Language: English
- Number of Pages: Median: 188
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin - New York
“Model Checking and Artificial Intelligence” Subjects and Themes:
- Subjects: ➤ Künstliche Intelligenz - Model Checking - Congresses - Verification - Kongress - Computer systems - Artificial intelligence - Computer software - Computers - Computer software, verification
- Places: Patras <2008>
Edition Identifiers:
- The Open Library ID: OL24815185M
- Online Computer Library Center (OCLC) ID: 320934399
- Library of Congress Control Number (LCCN): 2009921993
- All ISBNs: 9783642004308 - 364200430X
Access and General Info:
- First Year Published: 2009
- 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 Model Checking and Artificial Intelligence at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Hardware and software
By International Haifa Verification Conference (4th 2008 Haifa, Israel)
“Hardware and software” Metadata:
- Title: Hardware and software
- Author: ➤ International Haifa Verification Conference (4th 2008 Haifa, Israel)
- Language: English
- Number of Pages: Median: 214
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin
“Hardware and software” Subjects and Themes:
- Subjects: ➤ Congresses - Verification - Computer programs - Computer input-output equipment - Software architecture - Computer software - Computer software, verification - Integrated circuits - Hardwareverifikation - Korrektheit - Programmverifikation - Software - Testen - Model Checking
Edition Identifiers:
- The Open Library ID: OL24815250M
- Online Computer Library Center (OCLC) ID: 321129659
- Library of Congress Control Number (LCCN): 2009930043
- All ISBNs: 3642017010 - 9783642017018
Access and General Info:
- First Year Published: 2009
- 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 Hardware and software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
By Ana Cavalcanti
“Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings” Metadata:
- Title: ➤ Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
- Author: Ana Cavalcanti
- Publisher: Springer
- Publish Date: 2010
“Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Computer science - Software engineering - Computer software - Formal methods (Computer science) - Congresses - Programmanalyse - Kongress - Model Checking - Programmtest - Formale Methode - Softwareentwicklung - Verifikation - Systementwicklung - Zuverlässigkeit - Fehlertoleranz - System design
Edition Identifiers:
- The Open Library ID: OL26014137M
- Library of Congress Control Number (LCCN): 2009938641
- All ISBNs: 9783642103728 - 3642103723
Access and General Info:
- First Year Published: 2010
- 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 Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
By Corina S. Pasareanu
“Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings” Metadata:
- Title: ➤ Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
- Author: Corina S. Pasareanu
- Publisher: Springer
- Publish Date: 2009
“Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Congresses - Verification - Computer simulation - Testing - Data processing - Model Checking - Kongress - Programmverifikation - SPIN (Computer file) - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL26097339M
- Online Computer Library Center (OCLC) ID: 419645564
- Library of Congress Control Number (LCCN): 2009928779
- All ISBNs: 3642026516 - 9783642026515
Access and General Info:
- First Year Published: 2009
- 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 Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
By Burkhart Wolff
“Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings” Metadata:
- Title: ➤ Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
- Author: Burkhart Wolff
- Publisher: Springer
- Publish Date: 2011
“Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings” Subjects and Themes:
- Subjects: ➤ Testmustergenerierung - Software engineering - Testing - Computer software - Programmtest - Model Checking - Congresses - Kommunikationssystem - Testen - Software - Computer software, validation - Models and Principles - Programming Techniques - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Computer science - Logic design
Edition Identifiers:
- The Open Library ID: OL26133859M
- Library of Congress Control Number (LCCN): 2011937951
- All ISBNs: 9783642245794 - 364224579X
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Formal Methods Foundations and Applications Lecture Notes in Computer Science
By Jim Woodcock
“Formal Methods Foundations and Applications Lecture Notes in Computer Science” Metadata:
- Title: ➤ Formal Methods Foundations and Applications Lecture Notes in Computer Science
- Author: Jim Woodcock
- Number of Pages: Median: 361
- Publisher: Springer
- Publish Date: 2010
“Formal Methods Foundations and Applications Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Information Systems - Computer science - Software engineering - Formal methods (Computer science) - Congresses - Fehlertoleranz - Kongress - Formale Methode - Model Checking - Sicherheitskritisches System - Interrupt <Informatik> - Software - Testen - Programmverifikation - Verifikation - Interrupt (Informatik) - System design
Edition Identifiers:
- The Open Library ID: OL26141020M
- Library of Congress Control Number (LCCN): 2009938928
- All ISBNs: 3642104517 - 9783642104510
Access and General Info:
- First Year Published: 2010
- 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 Formal Methods Foundations and Applications Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Theoretical Aspects of Computing - ICTAC 2009
By Martin Leucker
“Theoretical Aspects of Computing - ICTAC 2009” Metadata:
- Title: ➤ Theoretical Aspects of Computing - ICTAC 2009
- Author: Martin Leucker
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Theoretical Aspects of Computing - ICTAC 2009” Subjects and Themes:
- Subjects: ➤ Data processing - Computer science - Software engineering - Algebra - Information theory - Computer software - Electronic data processing - Congresses - Model Checking - Kongress - Nebenläufigkeit - Softwareentwicklung - Entwurfsmuster - Formale Methode - Systementwicklung - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL25554976M
- Online Computer Library Center (OCLC) ID: 428028161
- Library of Congress Control Number (LCCN): 2009931537
- All ISBNs: 3642034667 - 9783642034664 - 9783642034657 - 3642034659
Access and General Info:
- First Year Published: 2009
- 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 Theoretical Aspects of Computing - ICTAC 2009 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
By Huibiao Zhu
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Metadata:
- Title: ➤ Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
- Author: Huibiao Zhu
- Publisher: Springer
- Publish Date: 2010
“Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings” Subjects and Themes:
- Subjects: ➤ Computer networks - Computer science - Software engineering - Computer software - Entscheidungsverfahren - Programmtest - Programmverifikation - Formale Methode - Serviceorientierte Architektur - Softwareentwicklung - Congresses - Web Services - Model Checking - Leistungsbewertung - Formal methods (Computer science) - Programmanalyse - Computer engineering
Edition Identifiers:
- The Open Library ID: OL25973559M
- Library of Congress Control Number (LCCN): 2010938033
- All ISBNs: 3642169007 - 9783642169007
Access and General Info:
- First Year Published: 2010
- 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 Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Hardware and Software: Verification and Testing
By Kedar S. Namjoshi
“Hardware and Software: Verification and Testing” Metadata:
- Title: ➤ Hardware and Software: Verification and Testing
- Author: Kedar S. Namjoshi
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Hardware and Software: Verification and Testing” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer input-output equipment - Software architecture - Computer software - Programmverifikation - Model Checking - Congresses - Verification - Computer programs - Testen - Hardwareverifikation - Software - Computer software, verification - Hardware - Testing - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL25538989M
- Library of Congress Control Number (LCCN): 2011920830
- All ISBNs: 9783642192364 - 3642192378 - 9783642192371 - 364219236X
Access and General Info:
- First Year Published: 2011
- 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 Hardware and Software: Verification and Testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Formal Methods for Industrial Critical Systems
By Darren Cofer
“Formal Methods for Industrial Critical Systems” Metadata:
- Title: ➤ Formal Methods for Industrial Critical Systems
- Author: Darren Cofer
- Language: English
- Number of Pages: Median: 243
- Publisher: ➤ Springer Berlin Heidelberg - Springer
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Methods for Industrial Critical Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Formal methods (Computer science) - Congresses - Computer programs - Verification - Reliability - Computer software - Programmverifikation - Kongress - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Fehlertoleranz - Systementwurf - Model Checking - Verifikation - System design
Edition Identifiers:
- The Open Library ID: OL25555301M
- Online Computer Library Center (OCLC) ID: 428011993
- Library of Congress Control Number (LCCN): 2009930950
- All ISBNs: 9783642032400 - 9783642032394 - 3642032400 - 3642032397
Access and General Info:
- First Year Published: 2009
- 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 Formal Methods for Industrial Critical Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Formal methods for industrial critical systems
By International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
“Formal methods for industrial critical systems” Metadata:
- Title: ➤ Formal methods for industrial critical systems
- Author: ➤ International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
- Language: English
- Number of Pages: Median: 230
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Formal methods for industrial critical systems” Subjects and Themes:
- Subjects: ➤ Software engineering - Formale Methode - Model Checking - Computer programs - Zuverlässigkeit - Softwareentwicklung - Congresses - Verification - Sicherheitskritisches System - Reliability - Formal methods (Computer science) - Systementwurf - Verifikation - Computer software - Logic design - Computer science
- Places: Antwerpen <2010>
Edition Identifiers:
- The Open Library ID: OL25365636M
- Online Computer Library Center (OCLC) ID: 666218587
- Library of Congress Control Number (LCCN): 2010934239
- All ISBNs: 3642158978 - 9783642158971
Access and General Info:
- First Year Published: 2010
- 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 Formal methods for industrial critical systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Tools and algorithms for the construction and analysis of systems
By TACAS 2010 (2010 Paphos, Cyprus)
“Tools and algorithms for the construction and analysis of systems” Metadata:
- Title: ➤ Tools and algorithms for the construction and analysis of systems
- Author: ➤ TACAS 2010 (2010 Paphos, Cyprus)
- Language: English
- Number of Pages: Median: 468
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:
- Subjects: ➤ Development - Model Checking - Congresses - System design - System analysis - Softwareentwicklung - Computer software - Theoretische Informatik - Systementwicklung - Programmanalyse - Logic design - Computer networks - Artificial intelligence - Software engineering - Computer science
Edition Identifiers:
- The Open Library ID: OL25296754M
- Online Computer Library Center (OCLC) ID: 586999181
- Library of Congress Control Number (LCCN): 2010921913
- All ISBNs: 3642120016 - 9783642120015
Access and General Info:
- First Year Published: 2010
- 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 Tools and algorithms for the construction and analysis of systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Testing Software and Systems
By Alexandre Petrenko
“Testing Software and Systems” Metadata:
- Title: Testing Software and Systems
- Author: Alexandre Petrenko
- Language: English
- Publisher: ➤ IFIP International Federation for Information Processing
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Testing Software and Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Testmustergenerierung - Logiciels - Telecommunication systems - Essais - Testing - Computer software - Congrès - Programmtest - Model Checking - Congresses - Systèmes de télécommunications - Kommunikationssystem - Computer systems - Testen - Software
Edition Identifiers:
- The Open Library ID: OL25540866M
- Library of Congress Control Number (LCCN): 2010936701
- All ISBNs: 9783642165733 - 9783642165726 - 3642165729 - 3642165737
Access and General Info:
- First Year Published: 2010
- 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 Testing Software and Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Runtime verification
By RV 2009 (2009 Grenoble, France)
“Runtime verification” Metadata:
- Title: Runtime verification
- Author: ➤ RV 2009 (2009 Grenoble, France)
- Language: English
- Number of Pages: Median: 201
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Runtime verification” Subjects and Themes:
- Subjects: ➤ Echtzeitsystem - Monitoring (Informatik) - Computer software - Computersicherheit - Model Checking - Verification - Formal methods (Computer science) - Software - Datensicherung - Formale Methode - Testing - Aspect-oriented programming - Congresses - Echtzeitverarbeitung - Testen - Verifikation - Logic design - Computer system performance - Computer science - Software engineering - Operating systems (Computers) - Computer software, testing
Edition Identifiers:
- The Open Library ID: OL25155958M
- Online Computer Library Center (OCLC) ID: 449849018
- Library of Congress Control Number (LCCN): 2009935005
- All ISBNs: 9783642046933 - 3642046932
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Runtime verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Testing of software and communication systems
By IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (21st 2009 Eindhoven, The Netherlands)
“Testing of software and communication systems” Metadata:
- Title: ➤ Testing of software and communication systems
- Author: ➤ IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (21st 2009 Eindhoven, The Netherlands)
- Language: English
- Number of Pages: Median: 246
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Testing of software and communication systems” Subjects and Themes:
- Subjects: ➤ Telecommunication systems - Datensicherung - Testing - Telekommunikationsnetz - Computersicherheit - Kongress - Rechnernetz - Programmtest - Model Checking - Congresses - Testen - Computer software - Software - Logic design - Computer simulation - Computer science - Software engineering - Computer software, testing
- Places: Eindhoven <2009>
Edition Identifiers:
- The Open Library ID: OL25365153M
- Online Computer Library Center (OCLC) ID: 449850419
- Library of Congress Control Number (LCCN): 2009936418
- All ISBNs: 9783642050305 - 3642050301
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Testing of software and communication systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Tests and proofs
By TAP 2010 (2010 Málaga, Spain)
“Tests and proofs” Metadata:
- Title: Tests and proofs
- Author: TAP 2010 (2010 Málaga, Spain)
- Language: English
- Number of Pages: Median: 182
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Tests and proofs” Subjects and Themes:
- Subjects: ➤ Beweis - Model Checking - Testing - Programmtest - Quality control - Congresses - Formale Methode - Reliability - Softwareentwicklung - Softwaresystem - Computer software - Logic design - Computer science - Software engineering - Computer software, verification
- Places: Málaga <2010>
Edition Identifiers:
- The Open Library ID: OL25249740M
- Online Computer Library Center (OCLC) ID: 646006863
- Library of Congress Control Number (LCCN): 2010929258
- All ISBNs: 3642139760 - 9783642139765
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Tests and proofs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.