Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Science: general issues

Buy Now

Constructive Analysis and Synthesis of Programs (Hardcover) Loot Price: R828
Discovery Miles 8 280
Repayment Terms: R78 pm x 12*
Add to cart
Constructive Analysis and Synthesis of Programs (Hardcover): Marco Benini

Constructive Analysis and Synthesis of Programs (Hardcover)

Marco Benini

 (sign in to rate)
Loot Price R828 Discovery Miles 8 280 | Repayment Terms: R78 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Lulu.Com
Country of origin: United Kingdom
Release date: October 2009
First published: October 2009
Authors: Marco Benini
Dimensions: 229 x 152 x 11mm (L x W x T)
Format: Hardcover - Laminated cover
Pages: 140
ISBN-13: 978-1-4452-0638-7
Categories: Books > Science & Mathematics > Science: general issues > General
Promotions
LSN: 1-4452-0638-2
Barcode: 9781445206387

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Vaxxers - The Inside Story Of The Oxford AstraZeneca Vaccine And The Race Against The Virus (Paperback): Sarah Gilbert,...
Vaxxers - The Inside Story Of The Oxford…
Sarah Gilbert, Catherine Green Paperback R86 Discovery Miles 860
Build - An Unorthodox Guide To Making Things Worth Making (Paperback): Tony Fadell
Build - An Unorthodox Guide To Making…
Tony Fadell Paperback  (2)
 R380 R351 Discovery Miles 3 510
Third Millennium Thinking - Creating Sense In A World Of Nonsense (Paperback): Saul Perlmutter, Robert Maccoun, John Campbell
Third Millennium Thinking - Creating…
Saul Perlmutter, Robert Maccoun, … Paperback R450 R402 Discovery Miles 4 020
How Confidence Works - The New Science Of Self-Belief, Why Some People Learn It And Others Don't (Paperback): Ian Robertson
How Confidence Works - The New Science…
Ian Robertson Paperback R713 R634 Discovery Miles 6 340
Wat Moet Ons Met Ons Kerk Doen? (Afrikaans, Paperback): Jurie van den Heever
Wat Moet Ons Met Ons Kerk Doen?
Jurie van den Heever Paperback  (1)
 R311 Discovery Miles 3 110
Fear - An Alternative History Of The World (Paperback): Robert Peckham
Fear - An Alternative History Of The…
Robert Peckham Paperback R773 R667 Discovery Miles 6 670
Upgrade Your Brain - Unlock Your Life's Full Potential (Paperback): Patrick Holford
Upgrade Your Brain - Unlock Your Life's…
Patrick Holford Paperback R556 R510 Discovery Miles 5 100
Sapiens - A Brief History Of Humankind (Paperback): Yuval Noah Harari
Sapiens - A Brief History Of Humankind
Yuval Noah Harari Paperback  (4)
 R345 R318 Discovery Miles 3 180
The Weather Machine - How We See Into The Future (Paperback): Andrew Blum
The Weather Machine - How We See Into…
Andrew Blum Paperback  (1)
 R338 R308 Discovery Miles 3 080
The Body - A Guide For Occupants (Paperback): Bill Bryson
The Body - A Guide For Occupants
Bill Bryson Paperback  (2)
 R295 R272 Discovery Miles 2 720
This Idea Is Brilliant - Lost, Overlooked, and Underappreciated Scientific Concepts Everyone Should Know (Paperback): John...
This Idea Is Brilliant - Lost…
John Brockman Paperback  (1)
 R405 R370 Discovery Miles 3 700
The Four Horsemen - The Discussion That Sparked An Atheist Revolution (Hardcover): Richard Dawkins, Sam Harris, Daniel C....
The Four Horsemen - The Discussion That…
Richard Dawkins, Sam Harris, … Hardcover  (3)
 R458 Discovery Miles 4 580

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners