25 Years of Model Checking

Name: 25 Years of Model Checking
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540698494
Price: 13876 HUF
Availability: InStock

History, Achievements, Perspectives

Szerző: Orna Grumberg, Helmut Veith

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

13 876 Ft

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature...

Információk a könyvről

Szerző

Orna Grumberg, Helmut Veith

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2008

oldal

234

EAN

9783540698494

ISBN

3540698493

Enbook ID

01567994

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

370

Méretek

156 x 235 x 15

Teljes leírás

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

É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

25 Years of Model Checking

History, Achievements, Perspectives

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