2008, ISBN: 9783540791249
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 911, 2008 i… Mehr…
Orellfuessli.ch No. 44359992. Versandkosten:Zzgl. Versandkosten. (EUR 15.60) Details... |
2008, ISBN: 9783540791249
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 … Mehr…
Thalia.de Nr. 44359992. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings - neues Buch
2008, ISBN: 9783540791249
This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.; PDF; Computing > Computer progra… Mehr…
hive.co.uk No. 9783540791249. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2008, ISBN: 9783540791249
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2008
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2008, ISBN: 9783540791249
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2008, ISBN: 9783540791249
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 911, 2008 i… Mehr…
2008, ISBN: 9783540791249
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 … Mehr…
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings - neues Buch
2008
ISBN: 9783540791249
This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.; PDF; Computing > Computer progra… Mehr…
2008, ISBN: 9783540791249
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2008
2008, ISBN: 9783540791249
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Tests and Proofs
EAN (ISBN-13): 9783540791249
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2015-12-26T13:29:22+01:00 (Zurich)
Detailseite zuletzt geändert am 2022-04-26T13:32:38+02:00 (Zurich)
ISBN/EAN: 9783540791249
ISBN - alternative Schreibweisen:
978-3-540-79124-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: von peter, beckert, peter paepcke
Daten vom Verlag:
Autor/in: Bernhard Beckert; Reiner Hähnle
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Verlag: Springer; Springer Berlin
193 Seiten
Erscheinungsjahr: 2008-04-04
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 193 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Oracle; QoS; automatic testing; constraint logic programming; dynamic logic; formal models; model checking; model-based testing; multithreaded programs; program analysis; program verification; programming; software reli; testing; verification; C; Software Engineering; System Performance and Evaluation; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Computers and Society; Computer Science; Systemanalyse und -design; Theoretische Informatik; Netzwerk-Hardware; Digital- und Informationstechnologien: soziale und ethische Aspekte; BC
Invited Talks.- The First Thirty Years: Experience with Software Verification.- Vacuity in Testing.- What Can Fault Prediction Do for YOU?.- Research Papers.- Equivalence Checking for a Finite Higher Order ?-Calculus.- Finding Counter Examples in Induction Proofs.- A Logic-Based Approach to Combinatorial Testing with Constraints.- Functional Testing in the Focal Environment.- Bounded Relational Analysis of Free Data Types.- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.- Pex–White Box Test Generation for .NET.- Non-termination Checking for Imperative Programs.- Tutorials.- Parameterized Unit Testing with Pex.- Integrating Verification and Testing of Object-Oriented Software.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642139772 Tests and Proofs (Gordon Fraser; Angelo Gargantini)
< zum Archiv...