Constructive Analysis and Synthesis of Programs / Najlacnejšie knihy
Constructive Analysis and Synthesis of Programs

Code: 08576148

Constructive Analysis and Synthesis of Programs

by Marco Benini

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 w ... more

29.12 €

RRP: 29.68 €

You save 0.55 €


In stock at our supplier
Shipping in 14 - 21 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Constructive Analysis and Synthesis of Programs

You get 70 loyalty points

Book synopsis

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.

Book details

Book category Books in English Mathematics & science Science: general issues

29.12 €

Trending among others

All about us



Shopping guide
Digest
Books by language
Payment
Delivery 2.99 €

Collection points Bratislava a 12880 dalších

Slovensko
България Hrvatska România Magyarország Polska Česko

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies

Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: