Constructive Analysis and Synthesis of Programs

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

Autor: Marco Benini

Limbă:

Legare: Copertă tare

Editura: Lulu.com

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

162.89 lei

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

Informații despre carte

Autor

Marco Benini

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2009

Pagini

140

EAN

9781445206387

ISBN

9781445206387

Enbook ID

08576148

Editura

Lulu.com

Greutate

379

Dimensiuni

152 x 229 x 11

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Constructive Analysis and Synthesis of Programs

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și