Partial-Order Methods for the Verification of Concurrent Systems: An Approach to State-Explosion Problem: 1032 (Lecture Notes in Computer Science, 1032)

Prices from
44.99

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to State-Explosion Problem: 1032 (Lecture Notes in Computer Science, 1032)

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 44.99

£ 44.99

Description (0)

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to State-Explosion Problem: 1032 (Lecture Notes in Computer Science, 1032)

Product specifications

Brand Springer
EAN
  • 9783540607618

Springer

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Validation Concurrent Distributed...

£ 34.99
Compare 2 stores 2 stores

Springer

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing...

£ 34.99
Compare 2 stores 2 stores

Springer

The Future of Digital Democracy: An Interdisciplinary Approach: 11300 (Lecture Notes in...

£ 44.99
Compare 2 stores 2 stores

Springer

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering Collective Adaptive...

£ 34.99
Compare 2 stores 2 stores
Featured Choice
£ 44.99
To Shop