concurrency-verification

You May Like

Pre-owned: Software Verification and Validation for Practitioners and Managers
Pre-owned: Software Verification and Validation for Practitioners and Managers

$5.99

View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
Concurrency Verification: Introduction to Compositional and Non-Compositional Me

$102.01

View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
Concurrency Verification: Introduction to Compositional and Non-Compositional Me

$345.58

View Details
Concurrency Verification Roever Boer Hanneman Hooman Lakhnech Poel Zwiers
Concurrency Verification Roever Boer Hanneman Hooman Lakhnech Poel Zwiers

$225.77

View Details
Software Verification and Validation for Practitioners and Managers, Seco - GOOD
Software Verification and Validation for Practitioners and Managers, Seco - GOOD

$4.49

View Details
Modeling, Verification And Exploration Of Task-Level Concurrency In Real-Ti...
Modeling, Verification And Exploration Of Task-Level Concurrency In Real-Ti...

$159.35

View Details
Software Verification and Validation for Practitioners and Managers 2nd ed.
Software Verification and Validation for Practitioners and Managers 2nd ed.

$5.60

View Details
Concurrency Verification: Introduction to Compositional and Non-compositional
Concurrency Verification: Introduction to Compositional and Non-compositional

$302.53

View Details
Concurrency Verification : Introduction to Compositional and Noncompositional...
Concurrency Verification : Introduction to Compositional and Noncompositional...

$104.95

View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
Concurrency Verification: Introduction to Compositional and Non-Compositional Me

$104.97

View Details
Software Verification and Validation for Practitioners and Managers, Second Edi
Software Verification and Validation for Practitioners and Managers, Second Edi

$73.52

View Details
Advanced Formal Verification
Advanced Formal Verification

$113.48

View Details
Concurrency Verification : Introduction to Compositional and Noncompositional...
Concurrency Verification : Introduction to Compositional and Noncompositional...

$121.18

View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...

$188.90

View Details
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...

$186.77

View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em

$191.24

View Details
Concurrency Verification: Introduction to Compo, De-Roever, De-Boer, Han PB-,
Concurrency Verification: Introduction to Compo, De-Roever, De-Boer, Han PB-,

$122.48

View Details
Advanced Formal Verification
Advanced Formal Verification

$104.56

View Details
Concurrency Verification: Introduction to Compositional and Non-compositional
Concurrency Verification: Introduction to Compositional and Non-compositional

$80.02

View Details
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, B
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, B

$67.23

View Details
Concur 2013 -- Concurrency Theory : 24th International Conference, Concur 201...
Concur 2013 -- Concurrency Theory : 24th International Conference, Concur 201...

$66.40

View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
Concurrency Verification: Introduction to Compositional and Non-Compositional Me

$354.90

View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time-,
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time-,

$219.73

View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em

$256.99

View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...

$188.91

View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
Concurrency Verification: Introduction to Compositional and Non-Compositional Me

$86.30

View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em

$241.71

View Details
Concur '92 : Third International Conference on Concurrency Theory, Stony Broo...
Concur '92 : Third International Conference on Concurrency Theory, Stony Broo...

$125.97

View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em

$189.08

View Details
Concurrency Verification Roever Boer Hanneman Hooman Lakhnech Poel Zwiers
Concurrency Verification Roever Boer Hanneman Hooman Lakhnech Poel Zwiers

$76.11

View Details
CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, N
CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, N

$127.53

View Details
Concurrency Verification : Introduction to Compositional and Noncompositional...
Concurrency Verification : Introduction to Compositional and Noncompositional...

$102.00

View Details
de Roever - Concurrency Verification  Introduction to Compositional an - N555z
de Roever - Concurrency Verification Introduction to Compositional an - N555z

$361.94

View Details
Software Verification and Validation for Practitioners and Managers, Second Edi
Software Verification and Validation for Practitioners and Managers, Second Edi

$23.44

View Details
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...

$206.22

View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...

$209.99

View Details
High-Level Verification: Methods and Tools for Verification of System-Level Desi
High-Level Verification: Methods and Tools for Verification of System-Level Desi

$125.19

View Details
Software Verification and Validation for Practitioners and Managers 2nd ed.
Software Verification and Validation for Practitioners and Managers 2nd ed.

$31.45

View Details
Concur '92 : Third International Conference on Concurrency Theory, Stony Broo...
Concur '92 : Third International Conference on Concurrency Theory, Stony Broo...

$125.98

View Details
Concur 2013 -- Concurrency Theory : 24th International Conference, Concur 201...
Concur 2013 -- Concurrency Theory : 24th International Conference, Concur 201...

$66.41

View Details
Relational Methods for Computer Science Applications by Ewa Orlowska (English) P
Relational Methods for Computer Science Applications by Ewa Orlowska (English) P

$66.79

View Details
High-Level Verification: Methods and Tools for Verification of System-Level Desi
High-Level Verification: Methods and Tools for Verification of System-Level Desi

$125.19

View Details
High-level Verification : Methods and Tools for Verification of System-level ...
High-level Verification : Methods and Tools for Verification of System-level ...

$124.96

View Details
High-Level Verification : Methods and Tools for Verification of System-Level ...
High-Level Verification : Methods and Tools for Verification of System-Level ...

$126.58

View Details
Software Verification and Validation for Practitioners and Managers 2nd ed.
Software Verification and Validation for Practitioners and Managers 2nd ed.

$5.71

View Details
Concurrency Verification: Introduction to Compositional and Non-compositional
Concurrency Verification: Introduction to Compositional and Non-compositional

$89.86

View Details
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...

$186.78

View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...

$225.17

View Details
High-level Verification : Methods and Tools for Verification of System-level ...
High-level Verification : Methods and Tools for Verification of System-level ...

$124.97

View Details
High-Level Verification : Methods and Tools for Verification of System-Level ...
High-Level Verification : Methods and Tools for Verification of System-Level ...

$126.58

View Details