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 75 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
Atlantis Press (2)
Deutscher Universitätsverlag (1)
Dr. Hut (1)
Springer Berlin (30)
Springer Fachmedien Wiesbaden GmbH (2)
Springer International Publishing (24)
Springer London (3)
Springer Singapore (5)
Springer US (6)
tredition (1)
Produktart
Gebunden (14)
Kartoniert / Broschiert (61)
Herausgeber
Aagaard, Mark D. O'Leary, John W. (1)
Aagaard, Mark Harrison, John (1)
Akshay, S. Niemetz, Aina Sankaranarayanan, Sriram (2)
Armando, Alessandro (1)
Bochmann, Gregor von Probst, David K. (1)
Brim, Lubos Jancar, Petr Kretinsky, Mojmir Kucera, Antonin (1)
Broccia, Giovanna Cerone, Antonio (1)
Chaki, Rituparna Chaki, Nabendu Cortesi, Agostino Saeed, Khalid (2)
Clarke, Edmund M. Henzinger, Thomas A. Veith, Helmut Bloem, Roderick (2)
Courcoubetis, Costas (1)
Emerson, E. Allen Sistla, A. Prasad (1)
Ganzinger, Harald McAllester, David Voronkov, Andrei (1)
Gaudel, Marie-Claude Woodcock, James (1)
Gheorghe, Marian Rozenberg, Grzegorz Salomaa, Arto Sosík, Petr Zandron, Claudio (1)
Godefroid, Patrice (1)
Graf, Susanne Pettersson, Paul Steffen, Bernhard (1)
Hardin, David S. (2)
Hermanns, Holger Segala, Roberto (1)
Hinchey, Mike Steffen, Bernhard (1)
Hussain, Dil Muhammad Akbar Rajput, Abdul Qadeer Khan Chowdhry, Bhawani Shankar Gee, Quintin (1)
Hutter, Dieter Stephan, Werner Traverso, Paolo Ullmann, Markus (1)
Jansen, Nils Junges, Sebastian Kaminski, Benjamin Lucien Matheja, Christoph Noll, Thomas Quatmann, Tim Stoelinga, Mariëlle Volk, Matthias (3)
Jazayeri, Mehdi Loos, Rüdiger G.K. Musser, David R. (1)
Katoen, Joost-Pieter Stevens, Perdita (1)
Kiselyov, Oleg (1)
Kobayashi, Naoki Pierce, Benjamin C. (1)
Lee, Edward A. Mousavi, Mohammad Reza Talcott, Carolyn (1)
Leuschel, Michael Wehrheim, Heike (1)
Liu, Shaoying Duan, Zhenhua Liu, Ai (1)
Liò, Pietro Zuliani, Paolo (2)
Nakajima, Shin Talpin, Jean-Pierre Toyoshima, Masumi Yu, Huafeng (2)
Oliveira, Jose N. Zave, Pamela (1)
Peled, Doron A. Vardi, Moshe Y. (1)
Rash, James L. Rouff, Christopher A. Truszkowski, Walter Gordon, Diana Hinchey, Michael G. (1)
Ravn, Anders P. Rischel, Hans (1)
Reinecke, Philipp Di Marco, Antinisca (1)
Reisig, Wolfgang Rozenberg, Grzegorz (1)
Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh (2)
ter Beek, Maurice H. Nickovic, Dejan (1)
Wing, Jeannette M. Woodcook, Jim Davies, Jim (2)
Zuck, Lenore D. Attie, Paul D. Cortesi, Agostino Mukhopadhyay, Supratik (1)
Autor
Atif, Muhammad Groote, Jan Friso (2)
Berard, B. Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. (2)
Bujorianu, Luminita Manuela (2)
Debbabi, Mourad Hassaïne, Fawzi Jarraya, Yosr Soeanu, Andrei Alawneh, Luay (2)
Gianola, Alessandro (1)
Göbel, Susanne (1)
Kundu, Sudipta Lerner, Sorin Gupta, Rajesh K. (2)
Mogavero, Fabio (2)
Naviya (1)
Nielson, Flemming Riis Nielson, Hanne (1)
Ray, Sandip (2)
Soltanieh, Amin (1)
Zhou, Chaochen Hansen, Michael R. (2)
Zimmermann, Georg (1)
Ölveczky, Peter Csaba (1)
Veröffentlicht
1993 (1)
1996 (1)
1997 (1)
1998 (1)
1999 (2)
2000 (1)
2001 (1)
2002 (2)
2003 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2020 (1)
2021 (1)
2023 (1)
2024 (1)
2025 (1)
Sprache
Deutsch (1)
Englisch (74)
Automated Reasoning for Systems Biology and Medicine
107,00 CHF*
In den Warenkorb
Carl Adam Petri: Ideas, Personality, Impact
48,15 CHF*
In den Warenkorb
From Basic Survival Analytic Theory to a Non-Standard Application
53,50 CHF*
In den Warenkorb
Automated Reasoning for Systems Biology and Medicine
107,00 CHF*
In den Warenkorb
Handbook of Model Checking
139,10 CHF*
In den Warenkorb
A Polynomial Translation of Mobile Ambients into Safe Petri Nets
53,50 CHF*
In den Warenkorb
Understanding Behaviour of Distributed Systems Using mCRL2
192,60 CHF*
In den Warenkorb
Designing Reliable Distributed Systems
74,90 CHF*
In den Warenkorb
Logics in Computer Science
53,50 CHF*
In den Warenkorb
Logics in Computer Science
53,50 CHF*
In den Warenkorb
Cyber-Physical System Design from an Architecture Analysis Viewpoint
107,00 CHF*
In den Warenkorb
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,50 CHF*
In den Warenkorb
FME '96: Industrial Benefit and Advances in Formal Methods
107,00 CHF*
In den Warenkorb
Logic Programming and Automated Reasoning
53,50 CHF*
In den Warenkorb
Formal Methods for Industrial Critical Systems
53,50 CHF*
In den Warenkorb
Integrated Formal Methods
53,50 CHF*
In den Warenkorb
Structured Object-Oriented Formal Language and Method
58,85 CHF*
In den Warenkorb
Duration Calculus
107,00 CHF*
In den Warenkorb
Wireless Networks Information Processing and Systems
107,00 CHF*
In den Warenkorb
Formal Approaches to Agent-Based Systems
53,50 CHF*
In den Warenkorb
Die „künstliche Seele“
50,00 CHF*
In den Warenkorb
Duration Calculus
107,00 CHF*
In den Warenkorb
Computer Performance Engineering
53,50 CHF*
In den Warenkorb
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
53,50 CHF*
In den Warenkorb
1
2
3
4
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
