Constructive Analysis and Synthesis of Programs

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

Autor: Marco Benini

Jazyk:

Väzba: Pevná

Vydavateľ: Lulu.com

Dostupnosť: Skladom u dodávateľa

Odosielame za 14-21 dní

28.29 €

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

Informácie o knihe

Autor

Marco Benini

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2009

Stránok

140

EAN

9781445206387

ISBN

9781445206387

Enbook ID

08576148

Vydavateľ

Lulu.com

Hmotnosť

379

Rozmery

152 x 229 x 11

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Constructive Analysis and Synthesis of Programs

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež