Suchformular

0 Warenkorb
Fililalen
Merkliste
Startseite » Shop » 9783030393212 » Verification, Model Checking, and Abstract Interpretation von Dirk Beyer/Damien Zufferey (kartoniertes Buch)

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21,2020, Proceedings, Lecture Notes in Computer Science 11990 - Theoretical Computer Science and General Issues

85,59 €
(inkl. MwSt.)
In den Warenkorb

Lieferbar innerhalb 1 - 2 Wochen

Bibliografische Daten
ISBN/EAN: 9783030393212
Sprache: Englisch
Umfang: xiv, 471 S., 918 s/w Illustr., 63 farbige Illustr.
Auflage: 1. Auflage 2020
Einband: kartoniertes Buch

Zusätzliche Informationen

Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.

Weitere Artikel aus der Kategorie "Informatik, EDV/Informatik"

ChatGPT für Dummies

ChatGPT für Dummies

Baker, Pam
18,00 € (inkl. MwSt.)
Handbuch IT-Projektmanagement und IT-Transformation

Handbuch IT-Projektmanagement und IT-Transformation

Ernst Tiemeyer
69,99 € (inkl. MwSt.)
Cyber-Sicherheit

Cyber-Sicherheit

Pohlmann, Norbert
34,99 € (inkl. MwSt.)
Design trifft Code

Design trifft Code

Stimac, Stephanie
36,90 € (inkl. MwSt.)
Agile Organisationsentwicklung

Agile Organisationsentwicklung

Andresen, Judith
39,99 € (inkl. MwSt.)
MIIP: Modell zur Implementierung der IT-Prozesse

MIIP: Modell zur Implementierung der IT-Prozesse

Pilorget, Lionel
64,99 € (inkl. MwSt.)
Alle Artikel anzeigen

Unsere BUCHBOX! versteht sich als literarischer Treffpunkt und als gutsortierte Buchhandlung im Kiez. Wir möchten nicht nur Bücher verkaufen, sondern Literatur erlebbar machen, unsere Kund:innen inspirieren und verzaubern. Treffen mit Autor:innen und die Begegnung mit Musik, Film und Kunst schaffen Erlebnisse im Buchladen, die man im Internet nicht findet. Außerdem bevorzugen wir eine lebendige Kiezkultur und eine gute Nachbar:innenschaft. Daher haben wir auch die Kiezkarte ins Leben gerufen, die unseren Kund:innen viele spannende Möglichkeiten bietet. Zudem engagieren wir uns sichtbar in Sachen Leseförderung und suchen stetig nach neuen Wegen für einen lebendigen Buchhandel. Schau dich also gern auf unserer Seite um.

Kontakt

Tel 030 - 40 50 02 47
Mail onlineshop@buchboxberlin.de

Prenzlauer Berg

Kastanienallee 97, Tel: 030 - 44 30 83 85
Lettestr. 5, Tel: 030 - 43 65 90 91
Greifswalder Str. 33, Tel: 030 - 42 80 32 45

Friedrichshain

Grünberger Str. 68, Tel: 030 - 200 782 43

Love Story of Berlin - English Bookstore

Kastanienallee 88, Tel: 030 - 40 500 247

Presse & Marketing

Mail: presse@buchboxberlin.de
Tel :030 - 43 65 90 94