Preisvergleich / Suche / Wohnen / Büro / Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann
Thumbnail - Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann
Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann

Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann

Das Buch "Verification, Model Checking, and Abstract Interpretation" dokumentiert die refereed Proceedings der 17. Internatio... Mehr erfahren

Sammle bis zu 26 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis26 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

53,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage
Icon Preiswecker.

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ähnliche Produkte

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher

Verification, Model Checking, and Abstract Interpretation, Fachbücher

1 Angebot

96,29 €

Verification, Model Checking, And Abstract Interpretation | Henglein

Verification, Model Checking, And Abstract Interpretation | Henglein

1 Angebot

98,95 €

Model Checking Software, Fachbücher von Corina S. Pasareanu

Model Checking Software, Fachbücher von Corina S. Pasareanu

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Andreas Podelski, Byron Cook

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Andreas Podelski, Byron Cook

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Dirk Beyer, Damien Zufferey

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Dirk Beyer, Damien Zufferey

1 Angebot

85,59 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Jens Palsberg, Isil Dillig

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Jens Palsberg, Isil Dillig

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Neil Jones, Markus Müller-Olm

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Neil Jones, Markus Müller-Olm

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Roberto Giacobazzi, Isabella Mastroeni, Josh B...

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Roberto Giacobazzi, Isabella Mastroeni, Josh B...

1 Angebot

53,49 €

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Sharon Shoham, Fritz Henglein, Yakir Vizel

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Sharon Shoham, Fritz Henglein, Yakir Vizel

1 Angebot

96,29 €

Computer Aided Verification, Fachbücher von Werner Damm, Holger Hermanns

Computer Aided Verification, Fachbücher von Werner Damm, Holger Hermanns

1 Angebot

53,49 €

Theoretical Computer Science, Fachbücher von Frank S. de Boer, Tom Ball, Jos C.M. Baeten

Theoretical Computer Science, Fachbücher von Frank S. de Boer, Tom Ball, Jos C.M. Baeten

1 Angebot

53,49 €

Software Composition, Fachbücher von Alexandre Bergel, Johan Fabry

Software Composition, Fachbücher von Alexandre Bergel, Johan Fabry

1 Angebot

53,49 €

Produktdetails

Das Buch "Verification, Model Checking, and Abstract Interpretation" dokumentiert die refereed Proceedings der 17. Internationalen Konferenz zu den Themen Verifikation, Modellprüfung und abstrakte Interpretation, die im Januar 2016 in St. Petersburg, Florida, USA, stattfand. Es umfasst 24 vollständige Beiträge, die aus 67 eingereichten Arbeiten sorgfältig ausgewählt wurden, sowie zwei eingeladene Vorträge und eine Zusammenfassung. Die Konferenz behandelt eine Vielzahl von Themen, die für Fachleute im Bereich der Informatik von Bedeutung sind, darunter Programmverifikation, Modellprüfung, abstrakte Interpretation und abstrakte Domänen. Die behandelten Themen sind für die Weiterentwicklung von Techniken zur statischen Analyse, Programmsynthese und Optimierung von entscheidender Bedeutung und bieten wertvolle Einblicke in moderne Ansätze zur Programmzertifizierung und Debugging-Techniken.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer