Validation of Stochastic Systems Image close
Validation of Stochastic Systems
Validation of Stochastic Systems
Show Hide Adult Content
Validation of Stochastic Systems close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Probability & statistics

Validation of Stochastic Systems

A Guide to Current Research
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$159.99
RRP:
$196.95 save $36.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $40.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 6-18 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Theory and Applications of Models of Computation
$530.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$187.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Advances in Knowledge Discovery and Data Mining
$291.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Requirements Engineering: Foundation for Software Quality
$151.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out 30 Apr 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$291.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$317.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Mathematical Foundations of Programming Semantics Save $50
$146.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Evolutionary Computing Save $11
$283.99
$295.95
Applications of Evolutionary Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Mining Save $29
$139.99
$169.95
Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Gesture-Based Communication in Human-Computer Interaction
$276.99
Gesture-Based Communication in Human-Computer Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
PARLE '89 - Parallel Architectures and Languages Europe Save $60
$142.99
$203.95
PARLE '89 - Parallel Architectures and Languages Europe
Paperback / softback
Available - Usually ships in 3-4 weeks
Constraints in Computational Logics Save $39
$140.99
$180.95
Constraints in Computational Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
Web Engineering Save $13
$144.99
$158.95
Web Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $27
$139.99
$167.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Computer Interaction -- INTERACT 2011 Save $12
$280.99
$293.95
Human-Computer Interaction -- INTERACT 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Natural and Artificial Computation in Engineering and Medical Applications
$144.99
Natural and Artificial Computation in Engineering and Medical...
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area. The lectures are organized in topical sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems.
Release date Australia
August 11th, 2004
Audience
  • Professional & Vocational
Contributors
  • Edited by Boudewijn R. Haverkort
  • Edited by Christel Baier
  • Edited by Holger Hermanns
  • Edited by Joost-Pieter Katoen
  • Edited by Markus Siegle
Illustrations
VIII, 472 p.
Pages
472
Dimensions
155x235x24
ISBN-13
9783540222651
Product ID
2815986

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Probability & statistics
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Stochastics
Books >
Computers & Internet >
Operating systems
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design