Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540213147
Price: 1311 CZK
Availability: InStock

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Autor: Susanne Graf, Laurent Mounier

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

1 311 Kč

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec...

Informace o knize

Autor

Susanne Graf, Laurent Mounier

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2004

Stránek

314

EAN

9783540213147

ISBN

3540213147

Enbook ID

01559203

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

493

Rozměry

155 x 235 x 18

Kompletní popis

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také