Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Menü schließen
Mein Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 €*
Bücher
Adventskalender
Buchmesse Gastland Italien
Kalender
Wupperlinge
Top Hits
Tonies
Sigikid
Regionales
Romane
Krimi und Thriller
Science-Fiction
Kinder- und Jugendbuch
Historische Romane
Biografie und Memoiren
Sachbücher
Politik und Gesellschaft
Zur Kategorie Kalender
Bildkalender und Broschürenkalender
Abreißkalender
Postkartenkalender
Arche- und Literarische Kalender
Familienplaner und Kinderzimmerkalender
Zur Kategorie Regionales
Wuppertal
Cronenberg
Bergisches Land
Menü schließen
Kategorien
Bücher
Adventskalender
Buchmesse Gastland Italien
Kalender
Wupperlinge
Top Hits
Tonies
Sigikid
Regionales
Zu "formal specification" wurden 10 Produkte gefunden
Filter
Filter
Produktart
eBook (10)
Autor
A. Crespo, J.A. De La Puente (1)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi (1)
Hossam A. Gabbar (1)
Iain D. Craig (1)
John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef (1)
Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi (1)
Pallab Dasgupta (1)
S. Ramesh, Prahladavaradan Sampath (1)
Xiaoming Chen, Yu Wang, Huazhong Yang (1)
Óscar Pastor, Juan Carlos Molina (1)
Veröffentlichungsdatum
2006 (1)
2007 (1)
2008 (1)
2010 (1)
2014 (1)
2017 (1)
Erscheinungsdatum
Preis aufsteigend
Preis absteigend
Topseller
Beste Ergebnisse
Download
PDF
Validated Designs for Object-oriented Systems
71,39 €*
Download
PDF
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
213,99 €*
Download
PDF
Formal Models of Operating System Kernels
149,79 €*
Download
PDF
A Roadmap for Formal Property Verification
128,39 €*
Download
PDF
Automatic Program Development
128,39 €*
Download
PDF
Model-Driven Architecture in Practice
53,49 €*
Download
PDF
Dynamic Epistemic Logic
96,29 €*
Download
PDF
Modern Formal Methods and Applications
149,79 €*
Download
PDF
Parallel Sparse Direct Solver for Integrated Circuit Simulation
117,69 €*
Download
PDF
Real Time Programming 1988
54,95 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Ablehnen
Konfigurieren
Alle Cookies akzeptieren