2015, ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2016, ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held i… Mehr…
Thalia.de Nr. 44834040. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
2016, ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held i… Mehr…
Orellfuessli.ch Nr. 44834040. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.85) Details... |
2002, ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in … Mehr…
kobo.com E-Book zum download. Versandkosten: EUR 0.00 Details... |
2016, ISBN: 9783319296135
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer International Publishing], Springe… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2015, ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in … Mehr…
2016, ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held i… Mehr…
2016
ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held i… Mehr…
2002, ISBN: 9783319296135
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in … Mehr…
2016, ISBN: 9783319296135
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer International Publishing], Springe… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verified Software: Theories, Tools, and Experiments
EAN (ISBN-13): 9783319296135
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2016-03-03T16:53:34+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-10-28T09:39:06+02:00 (Berlin)
ISBN/EAN: 9783319296135
ISBN - alternative Schreibweisen:
978-3-319-29613-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: international conference software, software tools
Daten vom Verlag:
Autor/in: Arie Gurfinkel; Sanjit A. Seshia
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verlag: Springer; Springer International Publishing
223 Seiten
Erscheinungsjahr: 2016-02-12
Cham; CH
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
IX, 223 p. 41 illus. in color.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; automated reasoning; dynamic analysis; programming logic; software verification; theorem proving; assertion checking; automated static analysis; benchmarks; higher-order logic; Hoare logic; logic and verification; model checking; program analysis; program specification; programming languages; protocol testing and verification; requirements modeling; SAT solving; specification languages; static analysis; C; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Artificial Intelligence; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; BC
Large-scale verification.- collaboration:- Theory Unication.- ToolIntegration.- Formalized domain knowledge.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031258022 Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lal, Akash (Editor)/ Tonetta, Stefano (Editor))
- 9783031258022 Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lal, Akash (Editor)/ Tonetta, Stefano (Editor))
- 9783030415990 Verified Software. Theories Tools and Experiments by Supratik Chakraborty Paperback | Indigo Chapters (Supratik Chakraborty; Jorge A. Navas)
- 9783030035914 Verified Software. Theories, Tools, and Experiments (Ruzica Piskac; Philipp Rümmer)
- 9783319121543 Verified Software: Theories, Tools and Experiments (Dimitra Giannakopoulou; Daniel Kroening)
- 9783319488684 Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17?18, 2016, Revised Selected ... (Lecture Notes in Computer Science, 9971) (Sandrine Blazy; Marsha Chechik)
< zum Archiv...