1. Home
  2. Medien
  3. Bücher
  4. Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
  • #

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

273.80 EUR

Ein praxisnaher Einstieg in die Verifikation von Nebenläufigkeit, der sowohl kompositionsbasierte als auch nicht-kompositionale Ansätze erläutert und anhand konkreter Fallstudien demonstriert.

Teilen:

Ähnliche Produkte

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

101.80 EUR
Catthoor, Francky: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Catthoor, Francky: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

160.49 EUR
Java Concurrency in Practice

Java Concurrency in Practice

13.89 EUR
Concurrency in C# Cookbook

Concurrency in C# Cookbook

6.49 EUR
Modernes C++: Concurrency meistern

Modernes C++: Concurrency meistern

39.00 EUR
Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

117.69 EUR
Rust Cookbook: Understand the core concepts of rust such as, memory management, concurrency, packaging, and many more

Rust Cookbook: Understand the core concepts of rust such as, memory management, concurrency, packaging, and many more

0.00
Pro Functional PHP Programming

Pro Functional PHP Programming

45.85 EUR