Model Checking Software

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

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

Autor: Susanne Graf, Laurent Mounier

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

240.46 zł

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

Informacje o książce

Autor

Susanne Graf, Laurent Mounier

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2004

strony

314

EAN

9783540213147

ISBN

3540213147

Enbook ID

01559203

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

493

Wymiary

155 x 235 x 18

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Model Checking Software

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również