25 Years of Model Checking

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

History, Achievements, Perspectives

Автор: Orna Grumberg, Helmut Veith

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

37.09 € 72.54 лв

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

Информация за книгата

Автор

Orna Grumberg, Helmut Veith

Език

Английски език

Корици

Книга - С меки корици

Издадена

2008

страници

234

EAN

9783540698494

ISBN

3540698493

Enbook ID

01567994

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

370

Размери

156 x 235 x 15

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

25 Years of Model Checking

History, Achievements, Perspectives

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също