Explore: Programmtest
Discover books, insights, and more — all in one place.
Learn more about Programmtest with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programmtest”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Testing applications on the Web
By Hung Quoc Nguyen
“Testing applications on the Web” Metadata:
- Title: ➤ Testing applications on the Web
- Author: Hung Quoc Nguyen
- Language: English
- Number of Pages: Median: 644
- Publisher: ➤ Wiley Pub. - Wiley & Sons, Incorporated, John
- Publish Date: 2001 - 2003
- Publish Location: Indianapolis, Ind
“Testing applications on the Web” Subjects and Themes:
- Subjects: ➤ Application software - Testing - World Wide Web - Programmtest - Softwares (ensaios) - World wide web - Communications software
Edition Identifiers:
- The Open Library ID: OL3673607M - OL39888100M
- Online Computer Library Center (OCLC) ID: 635505695
- Library of Congress Control Number (LCCN): 2003006638
- All ISBNs: 9781280309878 - 9780471201007 - 0471201006 - 1280309873
Access and General Info:
- First Year Published: 2001
- 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 Testing applications on the Web at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Verified software
By VSTTE 2010 (2010 Edinburgh, Scotland)
“Verified software” Metadata:
- Title: Verified software
- Author: ➤ VSTTE 2010 (2010 Edinburgh, Scotland)
- Language: English
- Number of Pages: Median: 215
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Verified software” Subjects and Themes:
- Subjects: ➤ Programmverifikation - Formale Methode - Programmtest - Congresses - Verification - Computer programs - Software - Verifikation - Programmanalyse - Logic design - Software engineering - Computer science - Artificial intelligence - Computer software, verification
- Places: Edinburgh <2010>
Edition Identifiers:
- The Open Library ID: OL25370862M
- Online Computer Library Center (OCLC) ID: 657597111
- Library of Congress Control Number (LCCN): 2010931860
- All ISBNs: 9783642150562 - 364215056X
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 Verified software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Formal 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.
4Testing 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.
5Formal 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.
6Testing 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.
7Static Analysis
By SAS <11, 2004, Verona>
“Static Analysis” Metadata:
- Title: Static Analysis
- Author: SAS <11, 2004, Verona>
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2004
- Publish Location: Berlin, Heidelberg
“Static Analysis” Subjects and Themes:
- Subjects: ➤ Datenfluss - Programmtest - Programmverifikation - Statische Analyse - Kontrollfluss - Programmtransformation
Edition Identifiers:
- The Open Library ID: OL27089093M
- Online Computer Library Center (OCLC) ID: 724428787
- All ISBNs: 9783540278641 - 3540278648
Access and General Info:
- First Year Published: 2004
- 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 Static Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Testing 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.
9Tests 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.
10Test und Verla sslichkeit von Rechnern
By Günther Kemnitz
“Test und Verla sslichkeit von Rechnern” Metadata:
- Title: ➤ Test und Verla sslichkeit von Rechnern
- Author: Günther Kemnitz
- Language: ger
- Number of Pages: Median: 452
- Publisher: Springer
- Publish Date: 2007
- Publish Location: Berlin [u.a.]
“Test und Verla sslichkeit von Rechnern” Subjects and Themes:
- Subjects: ➤ Selbsttest - Debugging - Software - Fehlermodell - Schaltkreistechnik - Hardware - Programmtest - Fehlerbehandlung - Computer - Test - Fehlererkennung - Testen - Zuverla ssigkeit - Fehlersimulation - Zuverlässigkeit
Edition Identifiers:
- The Open Library ID: OL25555745M
- Online Computer Library Center (OCLC) ID: 180082385
- All ISBNs: 3540459634 - 9783540459637
Author's Alternative Names:
"Gu nter Kemnitz"Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Test und Verla sslichkeit von Rechnern at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.