Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - neues Buch
2012, ISBN: 3642304729
2012 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Modellieren (allgemein) - Modellierung, Programmiersprachen, Computerprogrammierung und Softwareentwi… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - gebrauchtes Buch
2012, ISBN: 9783642304729
[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 22487321/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Mehr…
booklooker.de |
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - gebrauchtes Buch
2012, ISBN: 9783642304729
[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 22487321/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, PayPal, Klarna-… Mehr…
booklooker.de |
2012, ISBN: 9783642304729
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2012, ISBN: 9783642304729
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - neues Buch
2012, ISBN: 3642304729
2012 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Modellieren (allgemein) - Modellierung, Programmiersprachen, Computerprogrammierung und Softwareentwi… Mehr…
Brucker, Achim und Jacques Julliand:
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - gebrauchtes Buch2012, ISBN: 9783642304729
[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 22487321/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Mehr…
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - gebrauchtes Buch
2012
ISBN: 9783642304729
[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 22487321/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, PayPal, Klarna-… Mehr…
2012, ISBN: 9783642304729
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held… Mehr…
2012, ISBN: 9783642304729
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Tests and Proofs
EAN (ISBN-13): 9783642304729
ISBN (ISBN-10): 3642304729
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin
177 Seiten
Gewicht: 0,293 kg
Sprache: Englisch
Buch in der Datenbank seit 2009-04-25T23:19:35+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-04-14T09:04:59+02:00 (Berlin)
ISBN/EAN: 9783642304729
ISBN - alternative Schreibweisen:
3-642-30472-9, 978-3-642-30472-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: brucker, bruck, jacq, brucke, brück, jacqu, brücke, julliand
Titel des Buches: tap, prague, czech
Daten vom Verlag:
Autor/in: Achim Brucker; Jacques Julliand
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Verlag: Springer; Springer Berlin
177 Seiten
Erscheinungsjahr: 2012-05-16
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Gewicht: 0,295 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
67,13 CHF (CH)
POD
X, 177 p. 57 illus.
BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; model-based testing; modeling; online test generation; regression testing; structural testing; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Software Engineering; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Modelling; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Compiler und Übersetzer; Computermodellierung und -simulation; EA
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031388279 Tests and Proofs
- 9783031388279 Tests and Proofs
- 9783030311568 Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... (Lecture Notes in Computer Science, 11823) (Dirk Beyer)
- 9783030311575 Tests and Proofs (Dirk Beyer; Chantal Keller)
- 9783642304736 Tests and Proofs (Achim Brucker; Jacques Julliand)
< zum Archiv...