Skip to main content

CURRENTLY SOLD OUT

Constructive Analysis and Synthesis of Programs by Marco Benini (2009, Hardcover)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Lulu Press, Inc.
ISBN-10
1445206382
ISBN-13
9781445206387
eBay Product ID (ePID)
128617023

Product Key Features

Book Title
Constructive Analysis and Synthesis of Programs
Author
Marco Benini
Format
Hardcover
Language
English
Topic
Programming / General, General, System Theory
Publication Year
2009
Genre
Computers, Science
Number of Pages
140 Pages

Dimensions

Item Length
9in
Item Height
0.4in
Item Width
6in
Item Weight
15.7 Oz

Best Selling in Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Books

The Lost Book of Herbal Remedies by Claude Davis (2018, Paperback)
4.8 out of 5 stars based on 384 product ratings
$32.00 New
---- Used
The Empyrean Ser.: Iron Flame by Rebecca Yarros (2023, Hardcover)
5.0 out of 5 stars based on 3 product ratings
$15.00 New
$14.06 Used
The 4 Hour Body by Timothy Ferriss (Hardcover, 2010, First Edition)
5.0 out of 5 stars based on 1 product rating
$12.00 New
$9.24 Used
A Court of Thorns and Roses Ser.: A Court of Thorns and Roses Paperback Box Set (5 Books) by Sarah J. Maas (2022, Trade Paperback)
5.0 out of 5 stars based on 1 product rating
$45.05 New
$7.00 Used
Outlive Gifford Bil (2023,Paperback)
4.8 out of 5 stars based on 8 product ratings
$11.92 New
$8.99 Used
Magic Tree House (R) Ser.: Magic Tree House Books 1-28 Boxed Set by Mary Pope Osborne (2008, S)
4.9 out of 5 stars based on 83 product ratings
$32.00 New
$15.00 Used
The Book of Enoch by Enoch (2017, Hardcover)
4.8 out of 5 stars based on 139 product ratings
$16.46 New
$12.77 Used

Save on Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Books

Sailor Moon Raisonne ART WORKS 1991 - 2023 Normal Edition 9784065309094
$47.99
Trending at $70.00
😇, 😇DIAGNOSTIC STATISTICAL MANUAL OF MENTAL DISORDERSvTEXT REVISION DSM 5 TR
$36.90
Trending at $42.75
If I Did It: Confessions of the Killer by The Goldman Family (English) Paperback
$16.98
Trending at $17.88
THE BOOK OF ENOCH - Translated by R. H Charles (1917 Translation, Hardback)
$14.25
Trending at $16.46
Magic Tree House Books 1-28 Boxed Set by Mary Pope Osborne SEALED
$30.00
Trending at $39.97
Trading in the Zone: Master the Market Confidence (PAPERBACK) free shipping
$9.25
Trending at $13.45

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like