Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo libro
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… Altro …
hive.co.uk No. 9783642304736. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi 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… Altro …
lehmanns.de Costi di spedizione: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… Altro …
Hugendubel.de Nr. 25368691. Costi di spedizione:, , DE. (EUR 0.00) Details... |
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo libro
2012, ISBN: 9783642304736
; PDF; Computing > Graphical & digital media applications > 3D graphics & modelling, Springer Japan
hive.co.uk No. 9783642304736. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi 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… Altro …
eBook.de Nr. 25368691. Costi di spedizione:, , DE. (EUR 0.00) Details... |
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo libro
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… Altro …
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… Altro …
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… Altro …
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo libro
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… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Tests and Proofs
EAN (ISBN-13): 9783642304736
Anno di pubblicazione: 2012
Editore: Springer Berlin Heidelberg
Libro nella banca dati dal 2017-02-20T15:31:08+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-03-06T09:41:26+01:00 (Zurich)
ISBN/EAN: 9783642304736
ISBN - Stili di scrittura alternativi:
978-3-642-30473-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : julliand, brucker
Titolo del libro: czech
Dati dell'editore
Autore: Achim Brucker; Jacques Julliand
Titolo: 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
Editore: Springer; Springer Berlin
177 Pagine
Anno di pubblicazione: 2012-05-26
Berlin; Heidelberg; DE
Lingua: Inglese
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...