Constructive Analysis and Synthesis of Programs

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

Autor: Marco Benini

Jazyk:

Vazba: Pevná

Vydavatel: Lulu.com

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

683 Kč

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

Informace o knize

Autor

Marco Benini

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2009

Stránek

140

EAN

9781445206387

ISBN

9781445206387

Enbook ID

08576148

Vydavatel

Lulu.com

Hmotnost

379

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Constructive Analysis and Synthesis of Programs

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také