concurrent-verification-example
You May Like
Verification of Sequential and Concurrent Programs, Hardcover by Apt, Krzyszt...
$127.25
View Details
Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)
$104.39
View Details
Specification and Verification of Concurrent Systems by Charles Rattray (English
$67.60
View Details
Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...
$123.67
View Details
Verification of Sequential and Concurrent Programs, Paperback by Apt, Krzyszt...
$103.11
View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
$345.58
View Details
Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)
$127.63
View Details
Compositional Verification of Concurrent and Real-Time Systems by Jeffrey J.P. T
$125.19
View Details
Automated Verification of Concurrent Search Structures, Paperback by Siddhart...
$71.22
View Details
Automated Verification of Concurrent Search Structures by Siddharth Krishna (Eng
$72.10
View Details
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to
$66.61
View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
$102.01
View Details
Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan
$125.19
View Details
Modeling, Verification and Exploration of Task-Level Concurre... - 9781461369981
$134.71
View Details
Specification and Verification of Concurrent Systems, Paperback by Rattray, C...
$66.77
View Details
Compositional Verification of Concurrent and Real-time Systems, Paperback by ...
$125.06
View Details
Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)
$138.87
View Details
Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)
$181.84
View Details
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to
$75.45
View Details
Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...
$123.66
View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
$188.90
View Details
Verification of Sequential and Concurrent Programs, Hardcover by Apt, Krzyszt...
$127.26
View Details
Verification of Sequential and Concurrent Programs, Paperback by Apt, Krzyszt...
$121.45
View Details
Concurrency Verification : Introduction to Compositional and Noncompositional...
$104.95
View Details
Partial-Order Methods for the Verification of Concurrent Systems : An Approac...
$65.80
View Details
Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan
$159.80
View Details
Verification of Sequential and Concurrent Programs, Paperback by Apt, Krzyszt...
$103.12
View Details
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...
$186.77
View Details
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, B
$67.23
View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
$104.97
View Details
Compositional Verification of Concurrent and Real-time Systems, Paperback by ...
$145.81
View Details
Verification of Sequential and Concurrent Programs, Hardcover by Apt, Krzyszt...
$146.86
View Details
Concur 2013 -- Concurrency Theory : 24th International Conference, Concur 201...
$66.40
View Details
Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...
$144.40
View Details
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh,
$129.30
View Details
Specification and Verification of Concurrent Systems, Paperback by Rattray, C...
$81.69
View Details
CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, N
$127.53
View Details
Concur '92 : Third International Conference on Concurrency Theory, Stony Broo...
$125.97
View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
$188.91
View Details
Concurrency Verification : Introduction to Compositional and Noncompositional...
$121.18
View Details
Partial-Order Methods for the Verification of Concurrent Systems : An Approac...
$80.30
View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
$354.90
View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time-,
$219.73
View Details
Relational Methods for Computer Science Applications by Ewa Orlowska (English) P
$66.79
View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
$256.99
View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
$191.24
View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
$241.71
View Details
Concurrency Verification: Introduction to Compositional and Non-Compositional Me
$86.30
View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
$209.99
View Details
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...
$206.22
View Details
Automated Verification of Concurrent Search Structures, Paperback by Siddhart...
$71.23
View Details
Specification and Verification of Concurrent Systems, Paperback by Rattray, C...
$66.78
View Details
Compositional Verification of Concurrent and Real-time Systems, Paperback by ...
$125.07
View Details
Partial-Order Methods for the Verification of Concurrent Systems : An Approac...
$65.79
View Details
Concurrency Verification : Introduction to Compositional and Noncompositional...
$102.00
View Details
Concur 2013 -- Concurrency Theory : 24th International Conference, Concur 201...
$66.41
View Details
Concur '92 : Third International Conference on Concurrency Theory, Stony Broo...
$125.98
View Details
Modeling, Verification and Exploration of Task-level Concurrency in Real-time...
$186.78
View Details
Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...
$157.19
View Details
Specification and Verification of Concurrent Systems, Paperback by Rattray, C...
$81.71
View Details
Partial-Order Methods for the Verification of Concurrent Systems : An Approac...
$80.31
View Details
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Tim...
$225.17
View Details
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
$189.08
View Details
Computer Aided Verification : 5th International Conference, Cav'93, Elounda, ...
$68.67
View Details
Computer Aided Verification : 5th International Conference, Cav'93, Elounda, ...
$68.68
View Details