Constructive Analysis and Synthesis of Programs

Name: Constructive Analysis and Synthesis of Programs
Brand: Lulu.com
SKU: 9781445206387
Price: 29.68 EUR
Availability: InStock

Автор: Marco Benini

Език:

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

Издател: Lulu.com

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

Изпращаме след 9-15 дни

29.68 € 58.04 лв

Starting from the analysis of the problem behind formal verification of programs and showing the nee...

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

Автор

Marco Benini

Език

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

Корици

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

Издадена

2009

страници

140

EAN

9781445206387

ISBN

9781445206387

Enbook ID

08576148

Издател

Lulu.com

Теглоt

379

Размери

152 x 229 x 11

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

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Constructive Analysis and Synthesis of Programs

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

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

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

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