Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing)
from $111.10
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes in Computer Science Book 12864)
from $50.27
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science, 2067)
$52.01
from $13.89
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, ... Notes in Computer Science Book 14499)
from $60.15
Jaquiain Parallel Ruler Clear Scales, Mapping Points to Pull Parallel Ruler 450MM, Nautical Charts Parallel Ruler for Boat
from $13.91
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, ... Notes in Computer Science Book 14500)
from $58.38
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Lecture Notes in Computer Science Book 13881)
from $71.74
LLDSIMEX 10 Pairs Precision Parallel Set 1/8" Thin Steel
$37.99
from $32.73
Coordination Models and Languages: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated ... (Lecture Notes in Computer Science, 9037)
from $59.94
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12652)
from $0.00
More results from Amazon »