Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "Model checking" wurden 37 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Preis
Minimal
Fr
–
Maximal
Fr
Verlag
Springer Berlin (6)
Springer International Publishing (31)
Produktart
Gebunden (1)
Kartoniert / Broschiert (36)
Herausgeber
Artho, Cyrille Ölveczky, Peter Csaba (1)
Baier, Christel Tinelli, Cesare (1)
Bakhshi, Rena Ballarini, Paolo Barbot, Benoît Castel-Taleb, Hind Remke, Anne (1)
Bartocci, Ezio Falcone, Yliès (1)
Beltrán, Marta Knottenbelt, William Bradley, Jeremy (1)
Broy, Manfred (2)
Butler, Michael Conchon, Sylvain Zaïdi, Fatiha (1)
Butler, Michael Raschke, Alexander Hoang, Thai Son Reichl, Klaus (1)
Campos, Javier Haverkort, Boudewijn R. (1)
Dastani, Mehdi Sirjani, Marjan (1)
Devillers, Raymond Valmari, Antti (1)
Dubois, Catherine Wolff, Burkhart (1)
Feng, Xinyu Park, Sungwoo (1)
Gallardo, María del Mar Merino, Pedro (1)
Ganty, Pierre Loreti, Michele (1)
Haxthausen, Anne E. Serwe, Wendelin (1)
James, Phillip Roggenbach, Markus (1)
Jones, Cliff Wang, Ji Zhan, Naijun (1)
Kiselyov, Oleg King, Andy (1)
Koornneef, Floor van Gulijk, Coen (2)
Liu, Shaoying Duan, Zhenhua (2)
Maffei, Matteo Tuosto, Emilio (1)
Majumdar, Rupak Kuncak, Viktor (1)
Núñez, Manuel Güdemann, Matthias (1)
Piterman, Nir (1)
Raschke, Alexander Méry, Dominique (1)
Remke, Anne Haverkort, Boudewijn R. (1)
Romanovsky, Alexander Troubitsyna, Elena A. (1)
Rozenberg, Grzegorz Salomaa, Arto Sempere, José M. Zandron, Claudio (1)
Steffen, Bernhard Woeginger, Gerhard (1)
Stevens, Perdita Wasowski, Andrzej (1)
Strichman, Ofer Tzoref-Brill, Rachel (1)
Autor
Kaiser, Lukasz (1)
O'Regan, Gerard (1)
Veröffentlicht
1996 (1)
2011 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2021 (1)
2024 (1)
Sprache
Englisch (37)
Computer Performance Engineering
53,50 CHF*
In den Warenkorb
Lectures on Runtime Verification
69,55 CHF*
In den Warenkorb
Computing and Software Science
32,10 CHF*
In den Warenkorb
Tests and Proofs
53,50 CHF*
In den Warenkorb
Abstract State Machines, Alloy, B, TLA, VDM, and Z
53,50 CHF*
In den Warenkorb
Trustworthy Global Computing
42,80 CHF*
In den Warenkorb
Formal Techniques for Safety-Critical Systems
53,50 CHF*
In den Warenkorb
Fundamental Approaches to Software Engineering
53,50 CHF*
In den Warenkorb
Formal Methods and Software Engineering
53,50 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Structured Object-Oriented Formal Language and Method
53,50 CHF*
In den Warenkorb
Software Engineering for Resilient Systems
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
51,35 CHF*
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,50 CHF*
In den Warenkorb
Hardware and Software: Verification and Testing
53,50 CHF*
In den Warenkorb
Membrane Computing
53,50 CHF*
In den Warenkorb
Computer Safety, Reliability, and Security
53,50 CHF*
In den Warenkorb
Application and Theory of Petri Nets and Concurrency
53,50 CHF*
In den Warenkorb
Concise Guide to Formal Methods
69,55 CHF*
In den Warenkorb
Structured Object-Oriented Formal Language and Method
42,80 CHF*
In den Warenkorb
Fundamentals of Software Engineering
53,50 CHF*
In den Warenkorb
Deductive Program Design
214,00 CHF*
In den Warenkorb
Deductive Program Design
214,00 CHF*
In den Warenkorb
Rigorous State-Based Methods
64,20 CHF*
In den Warenkorb
1
2
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
