Explore: Computer Software Verification
Discover books, insights, and more — all in one place.
Learn more about Computer Software Verification with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “computer-software-verification”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Software testing
By Gerald D. Everett, Gerald D. Everett and Raymond, Jr. McLeod
“Software testing” Metadata:
- Title: Software testing
- Authors: Gerald D. EverettGerald D. EverettRaymond, Jr. McLeod
- Language: English
- Number of Pages: Median: 280
- Publisher: ➤ John Wiley & Sons - Wiley-IEEE Computer Society Pr - IEEE Computer Society Press
- Publish Date: 2006 - 2007
- Publish Location: Hoboken, N.J
“Software testing” Subjects and Themes:
- Subjects: ➤ Computer software - Development - Testing - Quality Assurance & Testing - Software Development & Engineering - COMPUTERS - Software engineering - Programming - Software Development - Computers - Languages / Programming - Computer Books: Languages - Computers / Programming / Software Development - Computer software, verification - Computer software, development - Computer software, testing - Quality control & testing - programming - General software engineering
Edition Identifiers:
- The Open Library ID: OL9659786M - OL17564798M - OL29031594M - OL48690688M
- Online Computer Library Center (OCLC) ID: 79002507
- Library of Congress Control Number (LCCN): 2007001282
- All ISBNs: ➤ 9780471793717 - 0470146354 - 9780470146347 - 047179371X - 9780470146354 - 0470146346
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 Software testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Model 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.
3Principles of model checking
By Christel Baier
“Principles of model checking” Metadata:
- Title: Principles of model checking
- Author: Christel Baier
- Language: English
- Number of Pages: Median: 984
- Publisher: The MIT Press - MIT Press
- Publish Date: 2008
“Principles of model checking” Subjects and Themes:
- Subjects: ➤ Computer systems - Verification - Computer software - Systems software - Computer software, verification - Quality control & testing - programming - General & miscellaneous computing
Edition Identifiers:
- The Open Library ID: OL29731128M - OL53275787M - OL29755804M - OL29594192M - OL10236810M
- Online Computer Library Center (OCLC) ID: 171152628
- Library of Congress Control Number (LCCN): 2007037603
- All ISBNs: ➤ 1435643275 - 0262304031 - 026226756X - 026202649X - 9780262304030 - 9780262026499 - 026233304X - 9780262333047 - 9781435643277 - 9780262267564
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 Principles of model checking at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Beautiful testing
By Tim Riley
“Beautiful testing” Metadata:
- Title: Beautiful testing
- Author: Tim Riley
- Language: English
- Number of Pages: Median: 340
- Publisher: ➤ O'Reilly - O'Reilly Media, Incorporated
- Publish Date: 2009 - 2010
- Publish Location: Sebastopol, Calif
“Beautiful testing” Subjects and Themes:
- Subjects: Development - Testing - Computer software - Computer software, verification - Computer software, validation
Edition Identifiers:
- The Open Library ID: OL36804998M - OL29138914M - OL24416822M
- Online Computer Library Center (OCLC) ID: 401151027 - 659781055
- Library of Congress Control Number (LCCN): 2010483214
- All ISBNs: ➤ 1449388981 - 9781449388980 - 144938868X - 0596159811 - 9781449388683 - 9780596159818
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 Beautiful testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Languages, Design Methods, and Tools for Electronic System Design
By Franco Fummi and Robert Wille
“Languages, Design Methods, and Tools for Electronic System Design” Metadata:
- Title: ➤ Languages, Design Methods, and Tools for Electronic System Design
- Authors: Franco FummiRobert Wille
- Language: English
- Number of Pages: Median: 159
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2016 - 2017 - 2018
“Languages, Design Methods, and Tools for Electronic System Design” Subjects and Themes:
- Subjects: ➤ Software engineering - Computer software, verification - Computer hardware description languages
Edition Identifiers:
- The Open Library ID: OL28290744M - OL28234610M - OL30688412M - OL37260610M - OL28174892M
- All ISBNs: ➤ 9783319317236 - 3319317237 - 9783319811062 - 9783319629193 - 9783319317229 - 9783319874296 - 3319811061 - 3319317229 - 3319629190 - 3319874292
Access and General Info:
- First Year Published: 2016
- 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 Languages, Design Methods, and Tools for Electronic System Design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Reactive systems
By Luca Aceto
“Reactive systems” Metadata:
- Title: Reactive systems
- Author: Luca Aceto
- Language: English
- Number of Pages: Median: 284
- Publisher: Cambridge University Press
- Publish Date: 2003 - 2007 - 2011
- Publish Location: Cambridge - New York
“Reactive systems” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Validation - Verification - System design - Mathematical models - Computer software, verification - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL40463504M - OL40499624M - OL40784426M - OL17238091M - OL34459279M
- Online Computer Library Center (OCLC) ID: 123374684
- Library of Congress Control Number (LCCN): 2007282029
- All ISBNs: ➤ 9780511333446 - 0511333447 - 9780511814105 - 0511335350 - 0511334125 - 9780511334122 - 9780511335358 - 9780521875462 - 0521875463 - 0511814100
Access and General Info:
- First Year Published: 2003
- 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 Reactive systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Software testing and continuous quality improvement
By Lewis, William E.
“Software testing and continuous quality improvement” Metadata:
- Title: ➤ Software testing and continuous quality improvement
- Author: Lewis, William E.
- Language: English
- Number of Pages: Median: 534
- Publisher: Auerbach Publications
- Publish Date: 2005 - 2008
- Publish Location: ➤ Boca Raton, Fla - Boca Raton, FL
“Software testing and continuous quality improvement” Subjects and Themes:
- Subjects: ➤ Computer software - Quality control - Testing - Computer software, quality control - Computer software, verification - Computer software, testing - Logiciels - Qualité - Contrôle - COMPUTERS - Software Development & Engineering - Quality Assurance & Testing
Edition Identifiers:
- The Open Library ID: OL22659296M - OL23109129M
- Online Computer Library Center (OCLC) ID: 318129995
- Library of Congress Control Number (LCCN): 2004052492 - 2008046201
- All ISBNs: 9780849325243 - 0849325242 - 1420080733 - 9781420080735
Author's Alternative Names:
"William E. Lewis"Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Software testing and continuous quality improvement at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Pragmatic Software Testing
By Rex Black
“Pragmatic Software Testing” Metadata:
- Title: Pragmatic Software Testing
- Author: Rex Black
- Language: English
- Number of Pages: Median: 366
- Publisher: ➤ Wiley & Sons, Incorporated, John
- Publish Date: 2011 - 2013
“Pragmatic Software Testing” Subjects and Themes:
- Subjects: ➤ Computer software, verification
Edition Identifiers:
- The Open Library ID: OL29277004M - OL29074235M - OL29074256M
- All ISBNs: ➤ 0470173637 - 9781118079386 - 9780470173633 - 1118080939 - 1118079388 - 9781118080931
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 Pragmatic Software Testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Leveraging Applications of Formal Methods, Verification and Validation
By Tiziana Margaria and Bernhard Steffen
“Leveraging Applications of Formal Methods, Verification and Validation” Metadata:
- Title: ➤ Leveraging Applications of Formal Methods, Verification and Validation
- Authors: Tiziana MargariaBernhard Steffen
- Language: English
- Number of Pages: Median: 633
- Publisher: ➤ Springer International Publishing AG - Springer Berlin / Heidelberg - Springer London, Limited - Springer
- Publish Date: 2008 - 2012 - 2021
“Leveraging Applications of Formal Methods, Verification and Validation” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL28156434M - OL37155837M - OL37097378M - OL35576909M
- All ISBNs: ➤ 3642340253 - 3540884793 - 9783642340253 - 3642340318 - 9783540884798 - 3030891585 - 9783030891589 - 9783642340314
Access and General Info:
- First Year Published: 2008
- 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 Leveraging Applications of Formal Methods, Verification and Validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Explore it!
By Elisabeth Hendrickson
“Explore it!” Metadata:
- Title: Explore it!
- Author: Elisabeth Hendrickson
- Languages: English - gem
- Number of Pages: Median: 162
- Publisher: ➤ dpunkt.verlag - The Pragmatic Programmers
- Publish Date: 2013 - 2014
“Explore it!” Subjects and Themes:
- Subjects: ➤ Validation - Testing - Verification - Computer software - Computer software, validation - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL27206788M - OL49556934M
- Online Computer Library Center (OCLC) ID: 893098019 - 810318822
- Library of Congress Control Number (LCCN): 2014395463
- All ISBNs: 9783864915253 - 9781937785024 - 3864915252 - 1937785025
Access and General Info:
- First Year Published: 2013
- 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 Explore it! at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Computer Aided Verification
By Daniel Kroening and Corina S. Păsăreanu
“Computer Aided Verification” Metadata:
- Title: Computer Aided Verification
- Authors: Daniel KroeningCorina S. Păsăreanu
- Language: English
- Number of Pages: Median: 582
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2015
“Computer Aided Verification” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL28111787M - OL28054210M - OL34536823M - OL34536867M
- All ISBNs: ➤ 9783319216676 - 9783319216683 - 3319216678 - 9783319216904 - 3319216902 - 9783319216898 - 3319216686 - 3319216899
Access and General Info:
- First Year Published: 2015
- 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 Computer Aided Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Verification and Validation of Rule-Based Expert Systems
By Suzanne Smith and Abraham Kandel
“Verification and Validation of Rule-Based Expert Systems” Metadata:
- Title: ➤ Verification and Validation of Rule-Based Expert Systems
- Authors: Suzanne SmithAbraham Kandel
- Language: English
- Number of Pages: Median: 224
- Publisher: Taylor & Francis Group
- Publish Date: 2018
“Verification and Validation of Rule-Based Expert Systems” Subjects and Themes:
- Subjects: ➤ Expert systems (computer science) - Computer software, verification - Computer software, validation
Edition Identifiers:
- The Open Library ID: OL33693550M - OL33661684M - OL33725178M - OL33533867M
- All ISBNs: ➤ 149871935X - 9781351821438 - 9781315214238 - 1351830120 - 9781498719353 - 9781351830126 - 1315214237 - 1351821431
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification and Validation of Rule-Based Expert Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Verification and Validation for Quality of UML 2.0 Models
By Bhuvan Unhelkar
“Verification and Validation for Quality of UML 2.0 Models” Metadata:
- Title: ➤ Verification and Validation for Quality of UML 2.0 Models
- Author: Bhuvan Unhelkar
- Language: English
- Number of Pages: Median: 312
- Publisher: ➤ John Wiley - John Wiley & Sons, Ltd. - Wiley-Interscience - Wiley & Sons, Incorporated, John
- Publish Date: 2005 - 2007
- Publish Location: Hoboken, NJ - New York
“Verification and Validation for Quality of UML 2.0 Models” Subjects and Themes:
- Subjects: ➤ Computer software - Quality control - Verification - UML (Computer science) - Computer Technology - Nonfiction - Computer software, verification - Computer software, quality control - Uml (computer science)
Edition Identifiers:
- The Open Library ID: OL29229798M - OL18228944M - OL7620677M - OL24249028M
- Library of Congress Control Number (LCCN): 2004065931
- All ISBNs: ➤ 0470252227 - 0471727830 - 9780470252222 - 9780471734314 - 0471734314 - 9780471727835
First Setence:
"Modeling enhances quality because it enhances communication."
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 and Validation for Quality of UML 2.0 Models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Text, Speech and Dialogue
By Petr Sojka
“Text, Speech and Dialogue” Metadata:
- Title: Text, Speech and Dialogue
- Author: Petr Sojka
- Language: English
- Number of Pages: Median: 629
- Publisher: ➤ Imprint: Springer - Springer - Springer Berlin Heidelberg
- Publish Date: 2012 - 2014 - 2018
- Publish Location: Berlin, Heidelberg
“Text, Speech and Dialogue” Subjects and Themes:
- Subjects: ➤ Data Mining and Knowledge Discovery - Database management - Information storage and retrieval systems - Information organization - User Interfaces and Human Computer Interaction - Information retrieval - Information Systems Applications (incl. Internet) - Artificial Intelligence (incl. Robotics) - Data mining - Artificial intelligence - Computer science - Natural language processing (computer science) - Speech processing systems - Text processing (computer science) - Natural language processing (Computer science) - Congresses - Text processing (Computer science) - Software engineering - Computer software, testing - Computer software, verification - Pattern perception - Optical pattern recognition
Edition Identifiers:
- The Open Library ID: OL28220898M - OL28190182M - OL28154929M - OL27091504M
- Library of Congress Control Number (LCCN): 2012944853
- All ISBNs: ➤ 9783030007935 - 3642327893 - 9783642327902 - 3030007936 - 9783319108155 - 3319108158 - 3642327907 - 9783642327896
Access and General Info:
- First Year Published: 2012
- 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 Text, Speech and Dialogue at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Next generation Java testing
By Cédric Beust and Hani Suleiman
“Next generation Java testing” Metadata:
- Title: Next generation Java testing
- Authors: Cédric BeustHani Suleiman
- Language: English
- Number of Pages: Median: 498
- Publisher: ➤ Pearson Education, Limited - Addison-Wesley Professional - Addison-Wesley
- Publish Date: 2007 - 2008
- Publish Location: Upper Saddle River, NJ
“Next generation Java testing” Subjects and Themes:
- Subjects: ➤ Java (Computer program language) - Testing - Computer software - Java (computer program language) - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL35568160M - OL35568115M - OL10461144M - OL23673855M
- Online Computer Library Center (OCLC) ID: 213482796
- Library of Congress Control Number (LCCN): 2007031939
- All ISBNs: ➤ 0132702274 - 9780132702270 - 9780321503107 - 0321503104 - 9780321534934 - 032153493X
Access and General Info:
- First Year Published: 2007
- 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 Next generation Java testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Verification by error modeling
By Katarzyna Radecka
“Verification by error modeling” Metadata:
- Title: Verification by error modeling
- Author: Katarzyna Radecka
- Language: English
- Number of Pages: Median: 226
- Publisher: ➤ Kluwer Academic Publishers - Springer - Springer London, Limited
- Publish Date: 2003 - 2006 - 2010
- Publish Location: Boston
“Verification by error modeling” Subjects and Themes:
- Subjects: ➤ Computer-aided design - Error analysis (Mathematics) - Integrated circuits - Verification - Very large scale integration - TECHNOLOGY & ENGINEERING - Circuits - COMPUTERS - Logic Design - Engineering - Logic - VLSI & ULSI - Electrical engineering - Electronics - Integrated circuits, very large scale integration - Computer software, verification - Error analysis (mathematics)
Edition Identifiers:
- The Open Library ID: OL28108054M - OL37111191M - OL19290691M
- Online Computer Library Center (OCLC) ID: 53276421
- Library of Congress Control Number (LCCN): 2003062044
- All ISBNs: ➤ 9780306487392 - 9781441954022 - 1441954023 - 030648739X - 1402076525 - 9781402076527
Access and General Info:
- First Year Published: 2003
- 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 Verification by error modeling at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Pragmatic Software Testing
Becoming an Effective and Efficient Test Professional
By Rex Black
“Pragmatic Software Testing” Metadata:
- Title: Pragmatic Software Testing
- Author: Rex Black
- Language: English
- Number of Pages: Median: 366
- Publisher: Wiley
- Publish Date: 2007
“Pragmatic Software Testing” Subjects and Themes:
- Subjects: ➤ Testing - Computer software - Problems, exercises - Computer software, verification - Computer software--testing - Qa76.76.t48 b5535 2007
Edition Identifiers:
- The Open Library ID: OL7596424M
- Online Computer Library Center (OCLC) ID: 187916442
- Library of Congress Control Number (LCCN): 2006103088
- All ISBNs: 0470127902 - 9780470127902
Access and General Info:
- First Year Published: 2007
- 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 Pragmatic Software Testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Certifiable Software Applications 3
By Jean-Louis Boulanger
“Certifiable Software Applications 3” Metadata:
- Title: ➤ Certifiable Software Applications 3
- Author: Jean-Louis Boulanger
- Language: English
- Number of Pages: Median: 328
- Publisher: Elsevier
- Publish Date: 2018
“Certifiable Software Applications 3” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL33554743M - OL28619655M
- All ISBNs: 9781785481192 - 9780081011638 - 1785481193 - 0081011636
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Certifiable Software Applications 3 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Modeling and Verification of Real-Time Systems
By Nicolas Navet and Stephan Merz
“Modeling and Verification of Real-Time Systems” Metadata:
- Title: ➤ Modeling and Verification of Real-Time Systems
- Authors: Nicolas NavetStephan Merz
- Language: English
- Number of Pages: Median: 448
- Publisher: ➤ Wiley & Sons, Incorporated, John
- Publish Date: 2010 - 2013
“Modeling and Verification of Real-Time Systems” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Real-time data processing - System design
Edition Identifiers:
- The Open Library ID: OL29045568M - OL29149626M - OL29149636M
- All ISBNs: ➤ 9780470393598 - 9781118624098 - 1118623959 - 9781118623954 - 1118624092 - 0470393599
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 Modeling and Verification of Real-Time Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Model Checking Software
By Dragan Bošnački and Anton Wijs
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Authors: Dragan BošnačkiAnton Wijs
- Language: English
- Number of Pages: Median: 260
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2016 - 2024
“Model Checking Software” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Computer simulation
Edition Identifiers:
- The Open Library ID: OL34534596M - OL52571370M - OL28301532M
- All ISBNs: ➤ 3319325817 - 3031661486 - 3319325825 - 9783031661488 - 9783319325811 - 9783319325828
Access and General Info:
- First Year Published: 2016
- 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 Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Embedded Software Verification and Debugging
By Djones Lettnin and Markus Winterholer
“Embedded Software Verification and Debugging” Metadata:
- Title: ➤ Embedded Software Verification and Debugging
- Authors: Djones LettninMarkus Winterholer
- Language: English
- Number of Pages: Median: 216
- Publisher: Markus Winterholer - Springer
- Publish Date: 2016 - 2017 - 2018
“Embedded Software Verification and Debugging” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Debugging in computer science - Embedded computer systems
Edition Identifiers:
- The Open Library ID: OL37394556M - OL28261451M - OL28189120M
- All ISBNs: ➤ 9781461422662 - 9781461422655 - 9781493979318 - 1461422663 - 1461422655 - 1493979310
Access and General Info:
- First Year Published: 2016
- 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 Embedded Software Verification and Debugging at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Runtime Verification
By Axel Legay and Saddek Bensalem
“Runtime Verification” Metadata:
- Title: Runtime Verification
- Authors: Axel LegaySaddek Bensalem
- Language: English
- Number of Pages: Median: 426
- Publisher: ➤ Springer London, Limited - Springer Berlin / Heidelberg
- Publish Date: 2009 - 2013
“Runtime Verification” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Software engineering - Computer science - Computer software - Logic design - Algorithm Analysis and Problem Complexity - Logics and Meanings of Programs - Programming Techniques - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL34490554M - OL34520677M - OL37140914M
- All ISBNs: ➤ 9783642407871 - 3642407870 - 9783642046940 - 3642046940 - 3642407862 - 9783642407864
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.
23Concurrency verification
By W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers
“Concurrency verification” Metadata:
- Title: Concurrency verification
- Authors: ➤ W.-P. de RoeverWillem-Paul de RoeverFrank de BoerUlrich HannemanJozef HoomanYassine LakhnechMannes PoelJob Zwiers
- Language: English
- Number of Pages: Median: 798
- Publisher: Cambridge University Press
- Publish Date: 2001 - 2012
- Publish Location: ➤ New York, NY, USA - Cambridge, UK
“Concurrency verification” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Verification - Computer software - Parallel processing (electronic computers) - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL7754992M - OL18168513M - OL34436990M
- Online Computer Library Center (OCLC) ID: 46319659
- Library of Congress Control Number (LCCN): 2001022303
- All ISBNs: 0521169321 - 0521806089 - 9780521806084 - 9780521169325
First Setence:
"The subject of this work is how to prove correctness of concurrent programs."
Access and General Info:
- First Year Published: 2001
- 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 Concurrency verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Verified Software : Theorie, Tools, Experiments
By Ernie Cohen and Andrey Rybalchenko
“Verified Software : Theorie, Tools, Experiments” Metadata:
- Title: ➤ Verified Software : Theorie, Tools, Experiments
- Authors: Ernie CohenAndrey Rybalchenko
- Language: English
- Number of Pages: Median: 361
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2014
“Verified Software : Theorie, Tools, Experiments” Subjects and Themes:
- Subjects: ➤ Computer programs - Computer software, verification - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Artificial intelligence - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Programming Techniques - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL30529324M - OL34520892M - OL28136943M
- All ISBNs: ➤ 3642541089 - 9783642541087 - 9783642541070 - 3642541097 - 9783642541094 - 3642541070
Access and General Info:
- First Year Published: 2014
- 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 Verified Software : Theorie, Tools, Experiments at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Computer Aided Verification
By Natasha Sharygina and Helmut Veith
“Computer Aided Verification” Metadata:
- Title: Computer Aided Verification
- Authors: Natasha SharyginaHelmut Veith
- Language: English
- Number of Pages: Median: 1037
- Publisher: Springer
- Publish Date: 2013
“Computer Aided Verification” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Special Purpose and Application-Based Systems
Edition Identifiers:
- The Open Library ID: OL27960321M - OL28035696M - OL34491871M
- All ISBNs: ➤ 3642397999 - 3642398006 - 9783642398001 - 9783642397998 - 9783642397981 - 3642397980
Access and General Info:
- First Year Published: 2013
- 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 Computer Aided Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Model Checking Software
By Ezio Bartocci and C. R. Ramakrishnan
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Authors: Ezio BartocciC. R. Ramakrishnan
- Language: English
- Number of Pages: Median: 387
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2013
“Model Checking Software” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Verification - Computer simulation - Testing - Data processing - SPIN (Computer file) - Computer software, verification - Computer files - Software engineering - Computer science - Logic design - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL34520915M - OL27983051M - OL28683747M
- Library of Congress Control Number (LCCN): 2013941132
- All ISBNs: ➤ 3642391761 - 9783642391774 - 3642391753 - 364239177X - 9783642391750 - 9783642391767
Access and General Info:
- First Year Published: 2013
- 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 Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Correct Software in Web Applications and Web Services
By Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz and Bruno Buchberger
“Correct Software in Web Applications and Web Services” Metadata:
- Title: ➤ Correct Software in Web Applications and Web Services
- Authors: Bernhard ThalheimKlaus-Dieter ScheweAndreas PrinzBruno Buchberger
- Language: English
- Number of Pages: Median: 332
- Publisher: ➤ Springer International Publishing AG - Springer
- Publish Date: 2015 - 2016
“Correct Software in Web Applications and Web Services” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL28270527M - OL37269011M - OL37427235M
- All ISBNs: ➤ 3319171119 - 9783319347271 - 3319171127 - 9783319171111 - 3319347276 - 9783319171128
Access and General Info:
- First Year Published: 2015
- 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 Correct Software in Web Applications and Web Services at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Debugging At The Electronic System Level
By Frank Rogin
“Debugging At The Electronic System Level” Metadata:
- Title: ➤ Debugging At The Electronic System Level
- Author: Frank Rogin
- Language: English
- Publisher: ➤ Springer Netherlands - Springer
- Publish Date: 2010 - 2014
“Debugging At The Electronic System Level” Subjects and Themes:
- Subjects: Systems engineering - Debugging in computer science - Integrated circuits - Computer hardware description languages - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL26081526M - OL37120707M - OL36212676M
- Library of Congress Control Number (LCCN): 2010929863
- All ISBNs: ➤ 9400795076 - 9789048192540 - 9048192544 - 9048192552 - 9789400795075 - 9789048192557
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 Debugging At The Electronic System Level at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Models in Hardware Testing
By Hans-Joachim Wunderlich
“Models in Hardware Testing” Metadata:
- Title: Models in Hardware Testing
- Author: Hans-Joachim Wunderlich
- Language: English
- Number of Pages: Median: 265
- Publisher: ➤ Springer - Springer Science+Business Media B.V.
- Publish Date: 2010 - 2012
- Publish Location: Dordrecht
“Models in Hardware Testing” Subjects and Themes:
- Subjects: ➤ Systems engineering - Engineering - Operating systems (Computers) - Computer input-output equipment - Computer software, verification - Electronic digital computers, circuits - Integrated circuits - Electronic digital computers - Circuits - Testing - Verification - Computer simulation - Electronic digital computers, testing
Edition Identifiers:
- The Open Library ID: OL28036491M - OL34372308M - OL25538955M
- Library of Congress Control Number (LCCN): 2009939835
- All ISBNs: ➤ 9789048132829 - 9789048132812 - 9789400730939 - 9048132835 - 9400730934 - 9789048132836 - 9048132827 - 9048132819
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 Models in Hardware Testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Leveraging Applications of Formal Methods, Verification, and Validation
By Reiner Hähnle
“Leveraging Applications of Formal Methods, Verification, and Validation” Metadata:
- Title: ➤ Leveraging Applications of Formal Methods, Verification, and Validation
- Author: Reiner Hähnle
- Language: English
- Number of Pages: Median: 261
- Publisher: ➤ Springer - Imprint: Springer - Springer Berlin Heidelberg
- Publish Date: 2012
- Publish Location: Berlin, Heidelberg
“Leveraging Applications of Formal Methods, Verification, and Validation” Subjects and Themes:
- Subjects: ➤ Pattern perception - Software engineering - Data Mining and Knowledge Discovery - Information organization - Optical pattern recognition - Information storage and retrieval systems - Information retrieval - Computation by Abstract Devices - Computer science - Data mining - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Machine learning - Computer software, verification - Robots, programming
Edition Identifiers:
- The Open Library ID: OL34375218M - OL28123001M - OL27071031M
- All ISBNs: ➤ 9783642347825 - 3642347800 - 9783642347818 - 3642347819 - 9783642347801 - 3642347827
Access and General Info:
- First Year Published: 2012
- 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 Leveraging Applications of Formal Methods, Verification, and Validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31The economics of software quality
By Capers Jones
“The economics of software quality” Metadata:
- Title: ➤ The economics of software quality
- Author: Capers Jones
- Language: English
- Number of Pages: Median: 587
- Publisher: Addison-Wesley
- Publish Date: 2012
- Publish Location: Upper Saddle River, NJ
“The economics of software quality” Subjects and Themes:
- Subjects: ➤ Quality control - Verification - Software maintenance - Validation - Economic aspects - Computer software - Computer software, quality control - Computer software, validation - Computer software, verification - Computer programming
Edition Identifiers:
- The Open Library ID: OL25046022M
- Online Computer Library Center (OCLC) ID: 741565691 - 697266839
- Library of Congress Control Number (LCCN): 2011014858
- All ISBNs: 0132582201 - 9780132582209
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The economics of software quality at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Practical software testing
By Ilene Burnstein
“Practical software testing” Metadata:
- Title: Practical software testing
- Author: Ilene Burnstein
- Language: English
- Number of Pages: Median: 555
- Publisher: Springer - Springer New York
- Publish Date: 2003 - 2006
- Publish Location: New York
“Practical software testing” Subjects and Themes:
- Subjects: ➤ Computer software - Testing - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL37347534M - OL17085545M - OL7448739M
- Library of Congress Control Number (LCCN): 2002024164
- All ISBNs: 0387951318 - 9780387951317 - 0387216588 - 9780387216584
First Setence:
"This is an exciting time to be a software developer."
Access and General Info:
- First Year Published: 2003
- 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 Practical software testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Building and testing with Gradle
By Tim Berglund
“Building and testing with Gradle” Metadata:
- Title: ➤ Building and testing with Gradle
- Author: Tim Berglund
- Language: English
- Number of Pages: Median: 102
- Publisher: ➤ O'Reilly Media, Incorporated - O'Reilly Media
- Publish Date: 2011
- Publish Location: Sebastopol, CA
“Building and testing with Gradle” Subjects and Themes:
- Subjects: ➤ Validation - Computer software - Verification - Computer programs - Computer software, verification - Computer programs, validation - Java (computer program language) - Development - Management - Computer programming - Open source software
Edition Identifiers:
- The Open Library ID: OL36799020M - OL29138864M - OL25565680M
- Online Computer Library Center (OCLC) ID: 752976157
- All ISBNs: ➤ 9781449306816 - 9781449313685 - 9781449313098 - 144931368X - 144930463X - 1449306810 - 1449313094 - 9781449304638
Access and General Info:
- First Year Published: 2011
- 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 Building and testing with Gradle at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Toward zero-defect programming
By Allan M. Stavely
“Toward zero-defect programming” Metadata:
- Title: Toward zero-defect programming
- Author: Allan M. Stavely
- Language: English
- Number of Pages: Median: 240
- Publisher: Addison-Wesley
- Publish Date: 1999
- Publish Location: Reading, Mass
“Toward zero-defect programming” Subjects and Themes:
- Subjects: Computer software - Quality control - Verification - Computer software, quality control - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL344319M
- Library of Congress Control Number (LCCN): 98003278
- All ISBNs: 9780201385953 - 0201385953
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Toward zero-defect programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Verification of Sequential and Concurrent Programs
By Krzysztof R. Apt
“Verification of Sequential and Concurrent Programs” Metadata:
- Title: ➤ Verification of Sequential and Concurrent Programs
- Author: Krzysztof R. Apt
- Language: English
- Number of Pages: Median: 446
- Publisher: ➤ Brand: Springer - Springer - Springer New York - Springer London, Limited
- Publish Date: 1997 - 2009 - 2012
- Publish Location: New York, NY
“Verification of Sequential and Concurrent Programs” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL35765769M - OL28145330M - OL27094279M
- Online Computer Library Center (OCLC) ID: 851820124
- All ISBNs: ➤ 9781475727166 - 1447125134 - 1475727143 - 9781848827455 - 147572716X - 9781447125136 - 1848827458 - 9781475727142
Access and General Info:
- First Year Published: 1997
- 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 of Sequential and Concurrent Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Verified software
theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
By VSTTE 2008 (2008 Toronto, Ont.)
“Verified software” Metadata:
- Title: Verified software
- Author: ➤ VSTTE 2008 (2008 Toronto, Ont.)
- Language: English
- Number of Pages: Median: 262
- Publisher: Springer
- Publish Date: 2008
- Publish Location: New York
“Verified software” Subjects and Themes:
- Subjects: Congresses - Verification - Computer programs - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL23696740M - OL23724538M - OL23654331M
- Online Computer Library Center (OCLC) ID: 259253621
- Library of Congress Control Number (LCCN): 2008935491
- All ISBNs: 9783540878728 - 3540878726
Access and General Info:
- First Year Published: 2008
- 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 Verified software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Software engineering reviews and audits
By Boyd L. Summers
“Software engineering reviews and audits” Metadata:
- Title: ➤ Software engineering reviews and audits
- Author: Boyd L. Summers
- Language: English
- Number of Pages: Median: 240
- Publisher: ➤ Auerbach Publishers, Incorporated - Taylor & Francis Group - CRC Press/Auerbach Publications
- Publish Date: 2011 - 2019
- Publish Location: Boca Raton
“Software engineering reviews and audits” Subjects and Themes:
- Subjects: ➤ Validation - Verification - Software engineering - Computer software - Computer software, validation - Computer software, verification - Quality control - Computer programs - Logiciels - Vérification - Qualité - Contrôle - COMPUTERS - Programming - Quality Assurance & Testing
Edition Identifiers:
- The Open Library ID: OL37946383M - OL34667976M - OL24852552M
- Online Computer Library Center (OCLC) ID: 702119743 - 635487085
- Library of Congress Control Number (LCCN): 2011006908
- All ISBNs: ➤ 143985145X - 9781439851463 - 9780367383121 - 0367383128 - 9781439851456 - 1439851468
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 Software engineering reviews and audits at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Runtime verification
By RV 2008 (2008 Budapest, Hungary)
“Runtime verification” Metadata:
- Title: Runtime verification
- Author: ➤ RV 2008 (2008 Budapest, Hungary)
- Language: English
- Number of Pages: Median: 187
- Publisher: Springer
- Publish Date: 2008
- Publish Location: New York - Berlin
“Runtime verification” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Testing - Congresses - Verification - Computer software - Computer science - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL23575024M - OL23642853M - OL23621562M
- Online Computer Library Center (OCLC) ID: 268784222
- Library of Congress Control Number (LCCN): 2008938338
- All ISBNs: 9783540892465 - 354089246X
Access and General Info:
- First Year Published: 2008
- 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.
39Mastering Gradle
By Mainak Mitra
“Mastering Gradle” Metadata:
- Title: Mastering Gradle
- Author: Mainak Mitra
- Language: English
- Publisher: Packt Publishing, Limited
- Publish Date: 2015
“Mastering Gradle” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Computer software, validation
Edition Identifiers:
- The Open Library ID: OL39585068M - OL39249613M
- All ISBNs: 1783981369 - 9781783981373 - 1783981377 - 9781783981366
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mastering Gradle at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Verification and Validation for Quality of UML 2. 0 Models
By Bhuvan Unhelkar
“Verification and Validation for Quality of UML 2. 0 Models” Metadata:
- Title: ➤ Verification and Validation for Quality of UML 2. 0 Models
- Author: Bhuvan Unhelkar
- Language: English
- Publisher: ➤ Wiley & Sons Australia, Limited, John - Wiley & Sons Canada, Limited, John
- Publish Date: 2005
“Verification and Validation for Quality of UML 2. 0 Models” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Computer software, quality control - Uml (computer science)
Edition Identifiers:
- The Open Library ID: OL48613751M - OL48641660M
- All ISBNs: 9781280277511 - 0471734322 - 1280277513 - 9780471734321
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification and Validation for Quality of UML 2. 0 Models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Formal methods for trustworthy computer systems (FM89)
By Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.), Workshop on the Assessment of Formal Methods for Trustworthy Computer and Dan Craigen
“Formal methods for trustworthy computer systems (FM89)” Metadata:
- Title: ➤ Formal methods for trustworthy computer systems (FM89)
- Authors: ➤ Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)Workshop on the Assessment of Formal Methods for Trustworthy ComputerDan Craigen
- Language: English
- Number of Pages: Median: 248
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990 - 1991
- Publish Location: London - New York
“Formal methods for trustworthy computer systems (FM89)” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Formal methods (Computer science) - Testing - Validation - Verification - Computer software, validation - Computer software, verification - System design
Edition Identifiers:
- The Open Library ID: OL1858046M - OL7444216M
- Online Computer Library Center (OCLC) ID: 23016620
- Library of Congress Control Number (LCCN): 90010317
- All ISBNs: 9783540196358 - 3540196358 - 9780387196350 - 0387196358
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal methods for trustworthy computer systems (FM89) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Computer Aided Verification
By Armin Biere and Roderick Bloem
“Computer Aided Verification” Metadata:
- Title: Computer Aided Verification
- Authors: Armin BiereRoderick Bloem
- Language: English
- Number of Pages: Median: 894
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2014
“Computer Aided Verification” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Computer science - Computer network architectures - Software engineering - Logic design - Logics and Meanings of Programs - Software Engineering/Programming and Operating Systems - Mathematical Logic and Formal Languages - Computer Systems Organization and Communication Networks
Edition Identifiers:
- The Open Library ID: OL34520418M - OL30678994M
- All ISBNs: 9783319088679 - 3319088661 - 9783319088662 - 331908867X
Access and General Info:
- First Year Published: 2014
- 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 Computer Aided Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
By Tiziana Margaria and Bernhard Steffen
“Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” Metadata:
- Title: ➤ Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
- Authors: Tiziana MargariaBernhard Steffen
- Language: English
- Number of Pages: Median: 997
- Publisher: Springer
- Publish Date: 2016
“Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” Subjects and Themes:
- Subjects: ➤ Robots, programming - Machine learning - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL34897606M - OL28262379M
- All ISBNs: 9783319471662 - 3319471651 - 331947166X - 9783319471655
Access and General Info:
- First Year Published: 2016
- 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 Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Tests and Proofs
By Bernhard K. Aichernig and Carlo A. Furia
“Tests and Proofs” Metadata:
- Title: Tests and Proofs
- Authors: Bernhard K. AichernigCarlo A. Furia
- Language: English
- Number of Pages: Median: 206
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2016
“Tests and Proofs” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL34537307M - OL28156347M
- All ISBNs: 9783319411347 - 3319411349 - 3319411357 - 9783319411354
Access and General Info:
- First Year Published: 2016
- 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 Tests and Proofs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Tools for Practical Software Verification
By Bertrand Meyer and Martin Nordio
“Tools for Practical Software Verification” Metadata:
- Title: ➤ Tools for Practical Software Verification
- Authors: Bertrand MeyerMartin Nordio
- Language: English
- Number of Pages: Median: 191
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2012
“Tools for Practical Software Verification” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Verification - Software engineering - Computer software, verification - Computer science - Logic design - Information Systems - Logics and Meanings of Programs - Programming Techniques - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages - Management of Computing and Information Systems
Edition Identifiers:
- The Open Library ID: OL37229167M - OL28157004M
- Library of Congress Control Number (LCCN): 2012954174
- All ISBNs: 9783642357459 - 3642357458 - 9783642357466 - 3642357466
Access and General Info:
- First Year Published: 2012
- 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 Tools for Practical Software Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Runtime Verification
By Borzoo Bonakdarpour and Scott A. Smolka
“Runtime Verification” Metadata:
- Title: Runtime Verification
- Authors: Borzoo BonakdarpourScott A. Smolka
- Language: English
- Number of Pages: Median: 367
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2014
“Runtime Verification” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Computer software, testing - Software engineering - Computer science - Computer software - Logic design - Algorithm Analysis and Problem Complexity - Logics and Meanings of Programs - Programming Techniques - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL34520927M - OL28108943M
- All ISBNs: 9783319111636 - 3319111647 - 3319111639 - 9783319111643
Access and General Info:
- First Year Published: 2014
- 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 Runtime Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Trustworthy Global Computing
By Martín Abadi and Alberto Lluch Lafuente
“Trustworthy Global Computing” Metadata:
- Title: Trustworthy Global Computing
- Authors: Martín AbadiAlberto Lluch Lafuente
- Language: English
- Number of Pages: Median: 341
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2014
“Trustworthy Global Computing” Subjects and Themes:
- Subjects: ➤ Computer security - Computer networks, security measures - Computer software, validation - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL28109213M - OL37228527M
- All ISBNs: 3319051199 - 9783319051192 - 9783319051185 - 3319051180
Access and General Info:
- First Year Published: 2014
- 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 Trustworthy Global Computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Model Checking Software
By Bernd Fischer and Jaco Geldenhuys
“Model Checking Software” Metadata:
- Title: Model Checking Software
- Authors: Bernd FischerJaco Geldenhuys
- Language: English
- Number of Pages: Median: 337
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2015
“Model Checking Software” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Computer simulation
Edition Identifiers:
- The Open Library ID: OL37251824M - OL28944101M
- All ISBNs: 9783319234038 - 331923403X - 9783319234045 - 3319234048
Access and General Info:
- First Year Published: 2015
- 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 Model Checking Software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Hardware and Software : Verification and Testing
By Eran Yahav
“Hardware and Software : Verification and Testing” Metadata:
- Title: ➤ Hardware and Software : Verification and Testing
- Author: Eran Yahav
- Language: English
- Number of Pages: Median: 302
- Publisher: ➤ Springer London, Limited - Springer International Publishing AG
- Publish Date: 2014
“Hardware and Software : Verification and Testing” Subjects and Themes:
- Subjects: ➤ Computer programs - Computer input-output equipment - Computer software, verification - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Computer Communication Networks - Logic design - Artificial intelligence - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL34509981M - OL34520379M
- All ISBNs: 9783319133379 - 3319133373 - 9783319133386 - 3319133381
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Hardware and Software : Verification and Testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Industrial used of formal method
By Jean-Louis Boulanger
“Industrial used of formal method” Metadata:
- Title: ➤ Industrial used of formal method
- Author: Jean-Louis Boulanger
- Language: English
- Publisher: Wiley - ISTE
- Publish Date: 2012
- Publish Location: Hoboken, NJ - London
“Industrial used of formal method” Subjects and Themes:
- Subjects: ➤ Systems engineering - TECHNOLOGY & ENGINEERING / Industrial Engineering - Nondestructive testing - Computer simulation - Verification - Data processing - Formal methods (Computer science) - Computer software - Computer science - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL25299131M
- Library of Congress Control Number (LCCN): 2012011854
- All ISBNs: 1848213638 - 9781848213630
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Industrial used of formal method at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.