Model Checking Software

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

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

Autor: Susanne Graf, Laurent Mounier

Jazyk:

Väzba: Brožovaná

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

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

54.10 €

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

Informácie o knihe

Autor

Susanne Graf, Laurent Mounier

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2004

Stránok

314

EAN

9783540213147

ISBN

3540213147

Enbook ID

01559203

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

493

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Model Checking Software

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež