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.
Haben Sie Fragen? Einfach anrufen, wir helfen gerne:
Tel. 089/210233-0
oder besuchen Sie
unser Ladengeschäft in der Pacellistraße 5
(Maxburg) 80333 München
+++
Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen?
Tel. 089/210233-0
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
Kreditkarten
0,00 €*
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN
Zu "Process Algebras" wurden 13 Produkte gefunden
Produkte filtern
Produkte filtern
Nur Neuerscheinungen
Verlag
Springer Berlin (8)
Springer International Publishing (5)
Produktart
Gebunden (2)
Kartoniert / Broschiert (11)
Herausgeber
Borzyszkowski, Andrzej M. Sokolowski, Stefan (1)
Brinksma, Ed Hermanns, Holger Katoen, Joost-Pieter (1)
Courcoubetis, Costas (1)
Di Giusto, Cinzia Ravara, António (1)
Kirchner, Helene Ringeissen, Christophe (1)
Larsen, Kim G. Nielsen, Mogens (1)
Rus, Teodor (1)
Sangiorgi, Davide Simone, Robert de (1)
Autor
Gorrieri, Roberto (2)
Hermanns, Holger (1)
Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger Schneider, Gerardo Shaikh, Siraj Ahmed (2)
Themengebiete
Abstract State Machines (2)
Actor-based Distributed Systems (1)
Addition (1)
algebra (1)
Algebraic Methods (2)
Algebraic Specification (2)
Algebraic State Machines (2)
algorithm (1)
algorithms (1)
Automatic Verification (1)
Boolean function (1)
CASL (2)
Choreographies (1)
Collective Computational Systems (1)
Complexity (1)
Computer Science (1)
Concurrency (2)
Concurrency CalcuLi (1)
Concurrent Processing (1)
Concurrent Systems (1)
Constraint Logic Programming (1)
Constraint Opinion Models (1)
Contracts Decidability and Interoperability (1)
Coordination (1)
Correct Systems Design (1)
CSP (2)
Dependable Computing (1)
Distributed Computing (2)
Distributed Systems (2)
Echtzeit-Systeme (1)
Equivalence (1)
Formal Methods (6)
Formal Specification (1)
Formal Verification (1)
Graph Theory (1)
Hardware (1)
Hybrid Systems (1)
Interactive Processes (1)
Java (2)
Komplexität (1)
Lambda Calculus (1)
Lambda-Kalküle (1)
Linear Time Logics (1)
Logic (2)
Markov chain (1)
Markov Chains (1)
Markovian Process Algebra (1)
Mathematical Software Construction (2)
Model Checking (1)
model checking (1)
Models of Computation (2)
Orchestration (1)
Parallel Computing (1)
Performance Analysis (2)
Performance Evaluation (1)
petri net (1)
Petri Nets (3)
Process Algebras (13)
Process Calculus (2)
Program Semantics (1)
Protocol Description (1)
Prozessalgebren (1)
Prozeßalgebren (1)
Reactive and (A)Synchronous Programming (1)
Reactive Systems (1)
real-time (1)
Real-Time Systems (3)
Semantics (1)
Semantik (1)
Software Design (2)
Software Development (1)
Software Engineering (2)
State Space Complexity (1)
Stochastic Petri Nets (1)
Stochastic Process Algebras (1)
Systems Analysis (1)
Systems Verification (1)
Type Systems (1)
Verification (2)
Veröffentlichungsdatum
1993 (1)
1998 (1)
2000 (1)
2001 (1)
2002 (1)
2017 (1)
2018 (1)
2022 (1)
2023 (1)
2025 (1)
Sprache
Englisch (13)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
CONCUR 2001 - Concurrency Theory
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Algebraic Methodology and Software Technology
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Process Algebras for Petri Nets
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Formal Methods for Software Engineering
58,84 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Formal Methods for Software Engineering
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
CONCUR '98 Concurrency Theory
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Aided Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Mathematical Foundations of Computer Science 1993
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Process Algebras for Petri Nets
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Interactive Markov Chains
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Lectures on Formal Methods and Performance Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Coordination Models and Languages
70,61 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Algebraic Methodology and Software Technology
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Zurück