Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Service/Hilfe
Cookie-Einstellungen
Merkliste
Über uns
Kontakt
Widerrufsrecht
Datenschutz
AGB
Impressum
Merkzettel
Mein Konto
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 €*
Für Sie erreichbar unter:
+49 89 23 500 5 0
Mo-Fr. 08:30 - 17:00 Uhr
E-Mail: service@biazzamedien.de
Home
Digitale Tools
Service
Standorte
Team
Zur Kategorie Digitale Tools
Mein Bibliothekar
Meine Datenbanken
eBooks
Zur Kategorie Service
B2B
Schulen
Weiterbildungsinstitute
Privatkunden
Menü schließen
Service/Hilfe
Cookie-Einstellungen
Merkliste
Über uns
Kontakt
Widerrufsrecht
Datenschutz
AGB
Impressum
Merkzettel
Kategorien
Digitale Tools
Service
Standorte
Team
Zu "Concurrent Systems" wurden 23 Produkte gefunden
Filter
Filter
Verlag
Springer Berlin (21)
Springer International Publishing (2)
Verlag
Springer Berlin (21)
Springer International Publishing (2)
Produktart
Gebunden (3)
Kartoniert / Broschiert (20)
Herausgeber
Astesiano, Egidio Reggio, Gianna (1)
Bakker, J.W.de Roever, W.-P.de Rozenberg, G. (1)
Bochmann, Gregor von Probst, David K. (1)
Brim, Lubos Jancar, Petr Kretinsky, Mojmir Kucera, Antonin (1)
Broy, Manfred (2)
Ciancarini, Paolo Nierstrasz, Oscar Yonezawa, Akinori (1)
Cortesi, Agostino (1)
Cuny, Janice Ehrig, Hartmut Engels, Gregor Rozenberg, Grzegorz (1)
Donatelli, Susanna Kleijn, Jetty (1)
Dwyer, Matthew (1)
Havelund, Klaus Penix, John Visser, Willem (1)
Margaria, Tiziana Steffen, Bernhard (1)
Moller, Faron Birtwistle, Graham (1)
Nielsen, Mogens Simpson, Dan (1)
Peled, Doron A. Vardi, Moshe Y. (1)
Romanovsky, Alexander Dony, Christophe Lindskov Knudsen, Jorgen Tripathi, Anand (1)
Zuck, Lenore D. Attie, Paul D. Cortesi, Agostino Mukhopadhyay, Supratik (1)
Autor
Hermanns, Holger (1)
Jensen, Kurt Kristensen, Lars M. (2)
Kunze, Matthias Weske, Mathias (2)
Schlagworte
Abstract Data Types (1)
Abstract Interpretation (2)
Abstract State Machines (2)
Agent-Oriented Software Engineering (1)
Algebraic Techniques (1)
Algebraische Methoden (1)
algorithm (4)
algorithms (2)
Analysis (1)
Artificial Intelligence (1)
Astrakte Datentypen (1)
Automat (1)
Automatic Verification (1)
Automatische Verifikation (1)
Beweisprüfung (1)
Bisimulation (1)
Business Process Models (2)
C++ programming language (1)
Colored Petri Nets (1)
Communication Protocols (1)
Communication Services (1)
Computer (1)
Computer Communication (1)
Computer Networks (1)
Computer Science Logic and Foundations of Programming (1)
Computer-Aided Design (CAD) (1)
Concurrent Processing (1)
Concurrent Programming (1)
Concurrent Systems (23)
CORBA (1)
Correct System Design (1)
design (2)
Distributed Computing (2)
Distributed Programming (1)
Distributed Systems (6)
distributed systems (2)
Dynamic Systems (2)
Echtzeit-Systeme (1)
Error Handling (1)
Ersetzungstechniken (1)
Exception (1)
Exception Handling (1)
Finite Automata (2)
Finite State Systems (2)
Formal Languages and Automata Theory (1)
Formal Methods (10)
Formal Specification (1)
Formal Verification (2)
Formale Spezifikation (1)
Graph (1)
Graph algorithms (1)
Graph Grammars (1)
Graph Transformations (1)
Graphalgorithmen (1)
Graphgrammatiken (1)
Graphtransformationen (1)
Hardware (1)
Hardware Design (1)
Hybrid Systems (2)
Interactive Processes (1)
ISDN (1)
Künstliche Intelligenz (1)
Language Design (1)
Lisp (1)
Logics and Meanings of Programs (1)
Markov chain (1)
Markovian Process Algebra (1)
Mathematical Foundations (1)
Mathematical Logic and Formal Languages (1)
Modal Logics (1)
Modale Logiken (1)
Model Checking (4)
modeling (3)
Modeling Languages (2)
Modellprüfung (1)
Muster-Basierte Kommunikation (1)
Nebenläufige Systeme (2)
Nebenläufiges Programmieren (1)
Network Protocols (1)
Networked Systems (1)
Performance Analysis (3)
Petri Nets (7)
Program Analysis (2)
Program Optimization (2)
Program Semantics (2)
Program Specification (4)
Program Verification (4)
Programmierunterstützungssysteme (2)
programming (4)
Programming Support Systems (2)
Programmspezifikation (2)
Programmverifikation (2)
Reactive Systems (2)
Simulation (4)
Software Design (2)
Software Verification (2)
Softwaredesign (2)
Systems Analysis (2)
Systems Modeling (2)
Temporal Logics (2)
Erscheinungsdatum
1989 (1)
1993 (1)
1994 (1)
1995 (1)
1996 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2009 (1)
2011 (1)
2014 (1)
2016 (1)
2018 (1)
Sprache
Englisch (23)
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Behavioural Models
ISBN: 9783319831725
53,49 €*
In den Warenkorb
Behavioural Models
ISBN: 9783319449586
53,49 €*
In den Warenkorb
Interactive Markov Chains
ISBN: 9783540442615
53,49 €*
In den Warenkorb
Object-Based Models and Languages for Concurrent Systems
ISBN: 9783540594505
53,49 €*
In den Warenkorb
Computer Aided Verification
ISBN: 9783540564966
53,49 €*
In den Warenkorb
A Decade of Concurrency: Reflections and Perspectives
ISBN: 9783540580430
106,99 €*
In den Warenkorb
Application and Theory of Petri Nets 2000
ISBN: 9783540676935
53,49 €*
In den Warenkorb
Constructive Methods in Computing Science
ISBN: 9783642748868
106,99 €*
In den Warenkorb
Model Checking Software
ISBN: 9783540421245
53,49 €*
In den Warenkorb
Advances in Exception Handling Techniques
ISBN: 9783540419525
53,49 €*
In den Warenkorb
Logics for Concurrency
ISBN: 9783540609155
53,49 €*
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783540610427
53,49 €*
In den Warenkorb
Graph Grammars and Their Application to Computer Science
ISBN: 9783540612285
106,99 €*
In den Warenkorb
SPIN Model Checking and Software Verification
ISBN: 9783540410300
53,49 €*
In den Warenkorb
Coloured Petri Nets
ISBN: 9783642425813
64,19 €*
In den Warenkorb
CONCUR 2002 - Concurrency Theory
ISBN: 9783540440437
106,99 €*
In den Warenkorb
Constructive Methods in Computing Science
ISBN: 9783540513698
112,34 €*
In den Warenkorb
Formal Techniques for Networked and Distributed Systems - FORTE 2002
ISBN: 9783540001416
53,49 €*
In den Warenkorb
Application and Theory of Petri Nets 1999
ISBN: 9783540661320
53,49 €*
In den Warenkorb
Verification, Model Checking, and Abstract Interpretation
ISBN: 9783540436317
53,49 €*
In den Warenkorb
Verification, Model Checking, and Abstract Interpretation
ISBN: 9783540003489
53,49 €*
In den Warenkorb
Recent Trends in Data Type Specification
ISBN: 9783540591320
53,49 €*
In den Warenkorb
Coloured Petri Nets
ISBN: 9783642002830
85,59 €*
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
