Lets Explore,
Cover of Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

(Paperback)

Joost-Pieter Katoen,

Springer (Publisher)

Published
04/09/2008
Reviews
0
Computing and Information TechnologyComputer programming / software engineeringProgramming and scripting languages: general

Ships within days

Out Of Stock

₹0.00
₹0.00
0% off
No description available.

More books by Joost-Pieter Katoen

Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹14100.0₹9300.36
Cover of Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Joost-Pieter Katoen

₹5599.0₹3475.51
Cover of Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Joost-Pieter Katoen

₹5599.0₹3475.51
Cover of Formal Methods

Formal Methods

Joost-Pieter Katoen

₹11199.0₹6843.35
Cover of Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Joost-Pieter Katoen

₹3901.0₹3783.97
Cover of Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Joost-Pieter Katoen

₹5599.0₹3475.51
Cover of ModelEd, TestEd, TrustEd

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen

₹5599.0₹3475.51
Cover of Validation of Stochastic Systems

Validation of Stochastic Systems

Joost-Pieter Katoen

₹5599.0₹3475.51
Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Joost-Pieter Katoen

₹5804.0₹5687.92
Cover of CONCUR 2011 -- Concurrency Theory

CONCUR 2011 -- Concurrency Theory

Joost-Pieter Katoen

₹5699.0₹3205.85
Cover of Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Joost-Pieter Katoen

₹17092.17₹16579.40
Cover of Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Joost-Pieter Katoen

₹0.0
Cover of Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Joost-Pieter Katoen

₹2201.45₹2135.41
Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹6883.86₹6677.34
Cover of Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Joost-Pieter Katoen

₹7225.14₹7008.39
Cover of Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Joost-Pieter Katoen

₹6199.24₹6013.26
Cover of Validation of Stochastic Systems

Validation of Stochastic Systems

Joost-Pieter Katoen

₹7225.14₹7008.39
Cover of Modelbased Testing of Reactive Systems

Modelbased Testing of Reactive Systems

Joost-Pieter Katoen

₹7731.0₹7499.07
Cover of Validation of Stochastic Systems

Validation of Stochastic Systems

Joost-Pieter Katoen

₹0.0
Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹0.0
Cover of The Bride of Rosecliffe Lib/E

The Bride of Rosecliffe Lib/E

Joost-Pieter (EDT) Katoen

₹6408.0₹4584.44
Cover of Formal Methods

Formal Methods

Leucker Martin Leucker

₹3811.0₹3734.78
Cover of Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Joost-Pieter Katoen

₹4323.15₹4236.69

Similar Products

Cover of Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Joost-Pieter Katoen

₹5599.0₹3475.51
Cover of Modelbased Testing of Reactive Systems

Modelbased Testing of Reactive Systems

Joost-Pieter Katoen

₹7731.0₹7499.07
Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹6883.86₹6677.34
Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹0.0
Cover of Principles of Model Checking

Principles of Model Checking

Joost-Pieter Katoen

₹14100.0₹9300.36
Cover of Validation of Stochastic Systems

Validation of Stochastic Systems

Joost-Pieter Katoen

₹7225.14₹7008.39
Cover of Validation of Stochastic Systems

Validation of Stochastic Systems

Joost-Pieter Katoen

₹0.0
Cover of Validation of Stochastic Systems

Validation of Stochastic Systems

Joost-Pieter Katoen

₹5599.0₹3475.51
Vidya AI