Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo livro
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… mais…
hive.co.uk No. 9783642304736. Custos de envio:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., mais custos de envio 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… mais…
lehmanns.de Custos de envio: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… mais…
Hugendubel.de Nr. 25368691. Custos de envio:, , DE. (EUR 0.00) Details... |
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo livro
2012, ISBN: 9783642304736
; PDF; Computing > Graphical & digital media applications > 3D graphics & modelling, Springer Japan
hive.co.uk No. 9783642304736. Custos de envio:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., mais custos de envio 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… mais…
eBook.de Nr. 25368691. Custos de envio:, , DE. (EUR 0.00) Details... |
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo livro
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… mais…
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… mais…
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… mais…
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - nuovo livro
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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Tests and Proofs
EAN (ISBN-13): 9783642304736
Ano de publicação: 2012
Editor/Editora: Springer Berlin Heidelberg
Livro na base de dados desde 2017-02-20T11:31:08-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-03-06T05:41:26-03:00 (Sao Paulo)
Número ISBN/EAN: 9783642304736
Número ISBN - Ortografia alternativa:
978-3-642-30473-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: julliand, brucker
Título do livro: czech
Dados da editora
Autor: Achim Brucker; Jacques Julliand
Título: 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
Editora: Springer; Springer Berlin
177 Páginas
Ano de publicação: 2012-05-26
Berlin; Heidelberg; DE
Língua: Inglês
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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...