Model Checking Software

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

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Autor: Antti Valmari

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

298.40 lei

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

Informații despre carte

Autor

Antti Valmari

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2006

Pagini

308

EAN

9783540331025

ISBN

3540331026

Enbook ID

01561845

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

1010

Dimensiuni

155 x 19 x 19

Descriere completă

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, 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