Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - neues Buch
2012, ISBN: 9783642304736
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 201… Mehr…
hive.co.uk No. 9783642304736. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2012, ISBN: 9783642304736
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings, eBooks, eBook Download (PDF), This book constitutes the refereed proceedings of the 6t… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2012, ISBN: 9783642304736
Tests and Proofs ab 53.49 € als pdf eBook: 6th International Conference TAP 2012 Prague Czech Republic May 31 -- June 1 2012. Proceedings. Aus dem Bereich: eBooks, Fachthemen & Wissenscha… Mehr…
Hugendubel.de Nr. 25368691. Versandkosten:, , DE. (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: 9783642304736
; PDF; Computing > Graphical & digital media applications > 3D graphics & modelling, Springer Japan
hive.co.uk No. 9783642304736. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2012, ISBN: 9783642304736
Tests and Proofs - 6th International Conference TAP 2012 Prague Czech Republic May 31 -- June 1 2012. Proceedings: ab 53.49 € Medien > Bücher > E-books, [PU: Springer, Berlin/Heidelberg/N… Mehr…
eBook.de Nr. 25368691. Versandkosten:, , DE. (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: 9783642304736
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 201… Mehr…
2012, ISBN: 9783642304736
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings, eBooks, eBook Download (PDF), This book constitutes the refereed proceedings of the 6t… Mehr…
2012
ISBN: 9783642304736
Tests and Proofs ab 53.49 € als pdf eBook: 6th International Conference TAP 2012 Prague Czech Republic May 31 -- June 1 2012. Proceedings. Aus dem Bereich: eBooks, Fachthemen & Wissenscha… Mehr…
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - neues Buch
2012, ISBN: 9783642304736
; PDF; Computing > Graphical & digital media applications > 3D graphics & modelling, Springer Japan
2012, ISBN: 9783642304736
Tests and Proofs - 6th International Conference TAP 2012 Prague Czech Republic May 31 -- June 1 2012. Proceedings: ab 53.49 € Medien > Bücher > E-books, [PU: Springer, Berlin/Heidelberg/N… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Tests and Proofs
EAN (ISBN-13): 9783642304736
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-02-20T15:31:08+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-03-06T09:41:26+01:00 (Berlin)
ISBN/EAN: 9783642304736
ISBN - alternative Schreibweisen:
978-3-642-30473-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: julliand, brucker
Titel des Buches: 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-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
67,00 CHF (CH)
Available
X, 177 p. 57 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; model-based testing; modeling; online test generation; regression testing; structural testing; C; Software Engineering; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Modelling; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Compiler und Übersetzer; Computermodellierung und -simulation; BC
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.Up to date results State of the art research Fast track conference proceedings
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013268205 Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (Hubert Baumeister, Horst Lichter, Matthias Riebisch)
- 9781013268205 Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (Hubert Baumeister, Horst Lichter, Matthias Riebisch)
- 9781013268212 Agile Processes in Software Engineering and Extreme Programming (Hubert Baumeister; Horst Lichter; Matthias Riebisch)
- 9781450306898 Gpce 11 Proceedings on the Tenth International Conference on Generative Programming and Component Engineering (GPCE 11 Conference Committee)
- 9783642304729 Tests and Proofs (Achim Brucker; Jacques Julliand)
- [(Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 22-25, 2003, Proceedings )] [Author: Frank Pfenning] [Sep-2003] (Frank Pfenning)
< zum Archiv...