Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 9780792393801
Price: 100.06 EUR
Availability: InStock

Автор: Kenneth L. McMillan

Език:

Корици: С твърди корици

Издател: Kluwer Academic Publishers

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

Изпращаме след 10-18 дни

100.06 € 195.69 лв

Formal verification means having a mathematical model of a system, a language for specifying desired...

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

Автор

Kenneth L. McMillan

Език

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

Корици

Книга - С твърди корици

Издадена

1993

страници

194

EAN

9780792393801

ISBN

0792393805

Enbook ID

42163944

Издател

Kluwer Academic Publishers

Теглоt

426

Размери

179 x 229 x 18

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

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Symbolic Model Checking

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

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

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

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