todaysfashion.com

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

£69.00

Pages: 212, Paperback, VDM Verlag

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

catalogue.description

Price now:

£69.00

£69.00

Amazon

Shop

Similar Products

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Amazon

£69.00

View All
View All
Medical Device Software Verification, Validation and Compliance

Amazon

£113.00

View All
View All
Systems and Software Verification: Model-Checking Techniques and Tools

Amazon

£119.99

View All
View All
Software Verification and Validation for Practitioners and Managers, Second Edition

Amazon

£73.00

View All
View All
Introducing Software Verification with Dafny Language: Proving Program Correctness

Amazon

£27.97

£27.99

View All
View All