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
Fr
Schweizer Franken
Fr
CHF
€
EUR
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "model-checking" wurden 25 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
EMS Press (1)
Springer Berlin (10)
Springer International Publishing (14)
Springer Nature EN (1)
Produktart
Gebunden (1)
Kartoniert / Broschiert (25)
Herausgeber
Abdulla, Parosh Aziz Leino, K. Rustan M. (1)
Ben Hedia, Belgacem Ghazel, Mohamed Monsuez, Bruno (1)
Blazy, Sandrine Chechik, Marsha (1)
Brugali, Davide Broenink, Jan Kroeger, Torsten MacDonald, Bruce (1)
Cerná, Ivana Gyimóthy, Tibor Hromkovic, Juraj Jeffery, Keith Kralovic, Rastislav Vukolic, Marko Wolf, Stefan (1)
Cerone, Antonio Ölveczky, Peter Csaba (1)
Chang, Bor-Yuh Evan (1)
Chiba, Shigeru Tanter, Éric Ernst, Erik Hirschfeld, Robert (1)
Collart-Dutilleul, Simon Lecomte, Thierry Romanovsky, Alexander (1)
Finkel, Alain Leroux, Jerome Potapov, Igor (1)
Garrigue, Jacques (1)
Giacobazzi, Roberto Gorla, Alessandra (1)
Groote, Jan Friso Larsen, Kim Guldstrand (1)
Hierons, Robert M. Merayo, Mercedes G. Bravetti, Mario (1)
Jhala, Ranjit Igarashi, Atsushi (1)
Khomenko, Victor Roux, Olivier H. (1)
Lecomte, Thierry Pinger, Ralf Romanovsky, Alexander (1)
Lluch Lafuente, Alberto Proença, José (1)
Morrison, Ron Oquendo, Flavio (2)
Noda, Itsuki Ando, Noriako Brugali, Davide Kuffner, James J. (1)
Pin, Jean-Éric (1)
Shi, Yun Qing Kim, Hyoung-Joong Perez-Gonzalez, Fernando (1)
Vojnar, Tomáš Zhang, Lijun (1)
Wirsing, Martin Hölzl, Matthias Koch, Nora Mayer, Philip (1)
Schlagworte
Abstract interpretation (1)
abstraction (1)
abstraction techniques (1)
actors (1)
ad-hoc networks (1)
adaptive systems (1)
agglomerative hierarchical clustering algorithm (1)
algorithm analysis and problem complexity (1)
architecture verification and validation (1)
Artificial Intelligence (1)
artificial intelligence (1)
aspect-oriented programming (1)
aspect-oriented software composition (2)
automata on infinite words (1)
automata theory (1)
Automated deduction (1)
automation (1)
autonomic computing (1)
autonomous behavior (2)
behavioural types (1)
C (1)
calculus (1)
certification (2)
cloud computing (2)
co-change clusters (1)
co-change graphs (1)
collective adaptive systems (1)
coloured petri nets (1)
communication abstractions (1)
communication protocols (1)
Compiler und Übersetzer (1)
Compilers and Interpreters (1)
component-based robotic framework (1)
component-based semantics (1)
computer architecture (2)
Computer Communication Networks (1)
Computer Engineering and Networks (2)
Computer Science Logic and Foundations of Programming (1)
Computerhardware (1)
constraints (2)
Correct-by-construction design (1)
Data flow analysis (1)
Data Science (1)
Debugging techniques (1)
Deductive methods (1)
dependability (2)
Discrete-event and hybrid systems Modeling and Simulation (1)
Distributed or networked systems (1)
embedded systems (2)
Emerging applications (1)
Event-B (1)
Formal Languages and Automata Theory (1)
formal logic (3)
formal methods (5)
Formal proving (1)
formal verification (2)
Formal-based Security assessment (1)
Funcons (1)
Künstliche Intelligenz (1)
Linux (1)
logics (2)
Machine learning and verification (1)
MANET (1)
Middleware (1)
model checking (2)
model-checking (26)
model-driven software development (2)
Modeling (1)
modeling (3)
Natural Language Processing (NLP) (1)
Natürliche Sprachen und maschinelle Übersetzung (1)
Netzwerk-Hardware (1)
Performance and robustness evaluation (1)
Petri net (1)
petri nets (2)
program analysis (3)
Program optimizations and transformations (1)
Program synthesis (1)
QoS evaluation (1)
RAMS (Reliability-Availability-Maintainability-Safety) (1)
Rigorous system design (1)
SAT and SMT solving (1)
SAT solvers (1)
security (3)
Security protocols verification (1)
semantics (2)
Simulation (1)
SMT solvers (1)
software components (2)
Software Engineering (1)
software engineering (3)
software evolution (2)
Theoretical frameworks (1)
Tool environments and architectures (1)
UML (1)
verification (5)
Verification & validation of AI (1)
Verification & validation of safety-critical systems (1)
Web Applications (1)
Web applications (1)
Veröffentlicht
2005 (2)
2009 (1)
2011 (1)
2012 (1)
2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2021 (1)
2025 (1)
Sprache
Englisch (26)
Transactions on Aspect-Oriented Software Development XII
53,50 CHF*
In den Warenkorb
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
62,05 CHF*
In den Warenkorb
Software Engineering for Collective Autonomic Systems
53,50 CHF*
In den Warenkorb
Application and Theory of Petri Nets and Concurrency
53,50 CHF*
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,50 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Verified Software. Theories, Tools, and Experiments
53,50 CHF*
In den Warenkorb
Transactions on Petri Nets and Other Models of Concurrency III
53,50 CHF*
In den Warenkorb
Digital Forensics and Watermarking
53,50 CHF*
In den Warenkorb
Reachability Problems
49,20 CHF*
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,80 CHF*
In den Warenkorb
Theoretical Aspects of Computing – ICTAC 2021
80,25 CHF*
In den Warenkorb
Software Engineering and Formal Methods
53,50 CHF*
In den Warenkorb
Coordination Models and Languages
53,50 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
53,50 CHF*
In den Warenkorb
Simulation, Modeling, and Programming for Autonomous Robots
53,50 CHF*
In den Warenkorb
Software Architecture
53,50 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Simulation, Modeling, and Programming for Autonomous Robots
53,50 CHF*
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,50 CHF*
In den Warenkorb
Handbook of Automata Theory
199,00 CHF*
In den Warenkorb
SOFSEM 2011: Theory and Practice of Computer Science
53,50 CHF*
In den Warenkorb
Demnächst
Neu
Verification and Evaluation of Computer and Communication Systems
0,00 CHF*
Details
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
