Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Entdecken Sie ein praxisorientiertes Werk, das die Theorie und Anwendung von Kompositionalität in der Nebenläufigkeitsverifikation systematisch erkl ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
Medimops DE
273.80 EUR
Preis aktualisiert am: 16-06-2026 01:28:00
Siehe Produktangebot

Allgemein

Marke
Willem-Paul de Roever
ISBN
Willem-Paul de Roever 0521806089

Eigenschaften

Ähnliche Produkte

Pro Functional PHP Programming: Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity
Pro Functional PHP Programming: Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity
Produkt anzeigen
Expert SQL Server Transactions and Locking: Concurrency Internals for SQL Server Practitioners
Expert SQL Server Transactions and Locking: Concurrency Internals for SQL Server Practitioners
Produkt anzeigen
Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings (Lecture Notes in Computer Science)
Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
Produkt anzeigen
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science, Band 54)
Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science, Band 54)
Produkt anzeigen
Menü