Lecture Notes in Computer Science: Verified Software. Theories, Tools, and Experiments

Lecture Notes in Computer Science: Verified Software. Theories, Tools, and Experiments (eBook / PDF)

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Keine Kommentare vorhanden
Jetzt ersten Kommentar schreiben!
Bewerten Sie jetzt diesen Artikel

Schreiben Sie den ersten Kommentar zu "Lecture Notes in Computer Science: Verified Software. Theories, Tools, and Experiments".

Kommentar verfassen
This volume constitutes the thoroughly refereed post-conferenceproceedings of the 9th International Conference on Verified Software:Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full...

Produkt empfehlen

2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Facebook senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Google+ senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter oder Google in die USA übertragen und unter Umständen auch dort gespeichert. Näheres erfahren Sie durch einen Klick auf das i.


Print-Originalausgabe Fr. 79.90

eBookFr. 57.50

Sie sparen 28%

Download bestellen
Sprache: Englisch

sofort als Download lieferbar

Bestellnummer: 100644575

Verschenken
Auf meinen Merkzettel
Versandkostenfrei
Bestellungen mit diesem Artikel sind versandkostenfrei!

Das könnte Ihnen auch gefallen

Kommentare zu "Lecture Notes in Computer Science: Verified Software. Theories, Tools, and Experiments"

Ähnliche Artikel finden

0 Gebrauchte Artikel zu „Lecture Notes in Computer Science: Verified Software. Theories, Tools, and Experiments“

ZustandPreisPortoZahlungVerkäuferRating