Lecture Notes in Computer Science

A Guide to Current Research

By: Christel Baier (Editor), Boudewijn R. Haverkort (Editor), Holger Hermanns (Editor)

Write A Review

Paperback | 11 August 2004

At a Glance

Paperback
480 Pages

Dimensions(cm)
24.77 x 15.24 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project "Validation of Stochastic Systems" (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci?c topics, roughly divided into the following four theme areas: "Modelling of Stochastic Systems," "Model Checking of Stochastic Systems," "Representing Large State Spaces," and "Deductive Veri?cation of Stochastic Systems." These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8-11,2002aspart of the so-called GI/Research Seminar series. This series of seminars is ?nancially supported by theGesellschaft fur ¨ Informatik, the German Computer Society. At that point in time the papers had already undergone a ?rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Applied Mathematics Stochastics Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Probability & Statistics Graphical & Digital Media Applications 3D Graphics & Modelling

Operating Systems

Probabilistic automata : system types, parallel composition and comparison	p. 1
Tutte le algebre insieme : concepts, discussions and relations of stochastic process algebras with general distributions	p. 44
An overview of probabilistic process algebras and their equivalences	p. 89
Verifying qualitative properties of probabilistic programs	p. 124
On probabilistic computation tree logic	p. 147
Model checking for probabilistic timed systems	p. 189
Serial disk-based analysis of large stochastic models	p. 230
Kronecker based matrix representations for large Markov models	p. 256
Symbolic representations and analysis of large probabilistic systems	p. 296
Probabilistic methods in state space analysis	p. 339
Analysing randomized distributed algorithms	p. 384
An abstraction framework for mixed non-deterministic and probabilistic systems	p. 419
The verification of probabilistic lossy channel systems	p. 445
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

A Guide to Current Research

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Computer Architecture

A Modern Approach

Basic Computer Architecture

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Augmented Software Design

A Team Exercise in Empirical Software Design

Site Reliability Engineering

How Google Runs Production Systems

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Hands-On RAG for Production

Design, Develop, and Deploy Production-Ready RAG Applications

Simply AI

Facts Made Fast

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Software Engineering at Google

Lessons Learned from Programming Over Time

Facilitating Software Architecture

Empowering Teams to Make Architectural Decisions

Docker: Up & Running

Shipping Reliable Containers in Production

Tidy First?

A Personal Exercise in Empirical Software Design

Fundamentals of Software Architecture

A Modern Engineering Approach

Observability Engineering

Achieving Production Excellence

Introduction to Semiconductor Devices for Engineering Students

Instructional Design in E-Learning

Principles, Trends, and Opportunities

Designing Agentic AI Experiences

UX Strategies for Collaborative, Human-Centered AI

Electric Sheep, Encrypted Dreams

A Field Guide to Defending Humanity in the Age of Neuro-Clouds, Quantum Hackers and Ethical Black Holes

Electric Sheep, Encrypted Dreams

A Field Guide to Defending Humanity in the Age of Neuro-Clouds, Quantum Hackers and Ethical Black Holes

This product is categorised by