Model Checking Software

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

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

Autor: Susanne Graf, Laurent Mounier

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

297.10 lei

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

Informații despre carte

Autor

Susanne Graf, Laurent Mounier

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2004

Pagini

314

EAN

9783540213147

ISBN

3540213147

Enbook ID

01559203

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

493

Dimensiuni

155 x 235 x 18

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Model Checking Software

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și