Lets Explore,
Books
Fiction
Non-Fiction
Teens & Ya
Kids
Exams
Medical Exams
Manga
Award Winners
Featured Authors
Today's Deal
Home
Cart
Wishlist
Menu
Joost Pieter Katoen
Books by Author
Filter
Principles of Model Checking
Joost-Pieter Katoen
4.3
₹14100.0
₹9300.36
Lectures on Formal Methods and Performance Analysis
Joost-Pieter Katoen
0.0
₹5599.0
₹3475.51
Model-Based Testing of Reactive Systems
Joost-Pieter Katoen
0.0
₹5599.0
₹3475.51
Formal Methods
Joost-Pieter Katoen
0.0
₹11199.0
₹6843.35
Foundations of Probabilistic Programming
Joost-Pieter Katoen
0.0
₹3901.0
₹3783.97
Dependable Software Engineering. Theories, Tools, and Applications
Joost-Pieter Katoen
0.0
₹5599.0
₹3475.51
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen
0.0
₹5599.0
₹3475.51
Validation of Stochastic Systems
Joost-Pieter Katoen
0.0
₹5599.0
₹3475.51
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen
0.0
₹5804.0
₹5687.92
CONCUR 2011 -- Concurrency Theory
Joost-Pieter Katoen
0.0
₹5699.0
₹3205.85
Foundations of Probabilistic Programming
Joost-Pieter Katoen
0.0
₹17092.17
₹16579.40
Foundations of Probabilistic Programming
Joost-Pieter Katoen
0.0
₹0.0
Model-Based Testing of Reactive Systems
Joost-Pieter Katoen
0.0
₹2201.45
₹2135.41
Principles of Model Checking
Joost-Pieter Katoen
0.0
₹6883.86
₹6677.34
Validation of Stochastic Systems: A Guide to Current Research
Joost-Pieter Katoen
0.0
₹7225.14
₹7008.39
Lectures on Formal Methods and Performance Analysis
Joost-Pieter Katoen
0.0
₹6199.24
₹6013.26
Validation of Stochastic Systems
Joost-Pieter Katoen
0.0
₹7225.14
₹7008.39
Modelbased Testing of Reactive Systems
Joost-Pieter Katoen
0.0
₹7731.0
₹7499.07
Validation of Stochastic Systems
Joost-Pieter Katoen
0.0
₹0.0
Principles of Model Checking
Joost-Pieter Katoen
0.0
₹0.0
The Bride of Rosecliffe Lib/E
Joost-Pieter (EDT) Katoen
0.0
₹6408.0
₹4584.44
Formal Methods
Leucker Martin Leucker
0.0
₹3811.0
₹3734.78
Lectures on Formal Methods and Performance Analysis
Joost-Pieter Katoen
0.0
₹4323.15
₹4236.69
