
Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
₹7,769

A Guide to Current Research: 2925
by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Springer-Verlag New York Inc · 2004 · Hardcover
Free delivery. Nothing extra to pay at checkout.
Validation of Stochastic Systems: A Guide to Current Research: 2925 is written by Christel Baier, Boudewijn R. Haverkort & others. This hardcover edition from Springer-Verlag New York Inc (2004) has 465 pages.
Topics covered include Stochastic processes, Stochastic systems, Stochastic analysis and Probability & statistics.