Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540434771
Price: 19305 HUF
Availability: InStock

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Szerző: Dragan Bosnacki, Stefan Leue

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec...

Információk a könyvről

Szerző

Dragan Bosnacki, Stefan Leue

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2002

oldal

262

EAN

9783540434771

ISBN

3540434771

Enbook ID

01564229

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

472

Méretek

155 x 235 x 16

Teljes leírás

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták