- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 58,87, Mittelwert: € 50,60
1
Verified Software: Theories, Tools, and Experiments - Arie Gurfinkel; Sanjit A. Seshia
Bestellen
bei Springer.com
€ 42,79
Bestellengesponserter Link
Arie Gurfinkel; Sanjit A. Seshia:

Verified Software: Theories, Tools, and Experiments - neues Buch

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…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Verified Software: Theories, Tools, and Experiments - Springer
Bestellen
bei Thalia.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link

Springer:

Verified Software: Theories, Tools, and Experiments - neues Buch

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…

Nr. 44834040. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00)
3
Verified Software: Theories, Tools, and Experiments - Springer
Bestellen
bei Orellfuessli.ch
CHF 62,90
(ca. € 58,87)
Versand: € 16,851
Bestellengesponserter Link
Springer:
Verified Software: Theories, Tools, and Experiments - neues Buch

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…

Nr. 44834040. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.85)
4
Verified Software: Theories, Tools, and Experiments - Arie Gurfinkel, Sanjit A. Seshia
Bestellen
bei kobo.com
£ 38,27
(ca. € 44,87)
Versand: € 0,001
Bestellengesponserter Link
Arie Gurfinkel, Sanjit A. Seshia:
Verified Software: Theories, Tools, and Experiments - neues Buch

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…

E-Book zum download. Versandkosten: EUR 0.00
5
Bestellen
bei lehmanns.de
€ 52,98
Versand: € 0,001
Bestellengesponserter Link
Arie Gurfinkel; Sanjit A. Seshia:
Verified Software: Theories, Tools, and Experiments - neues Buch

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…

Versandkosten:Download sofort lieferbar. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

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))


< zum Archiv...