Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Constructive Analysis and Synthesis of Programs

Language EnglishEnglish
Book Hardback
Book Constructive Analysis and Synthesis of Programs Marco Benini
Libristo code: 08576148
Publishers Lulu.com, October 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Full description
? points 76 b
31.23 €
61.08  лв
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Top
Karak - Noví hrdinové / Game/Toy Game
common.buy 11.06 € 21.63 лв
Ornament v sisteme rospisej Vsehsvyatskoj cerkvi Kievo-Pecherskoj lavry Elena Pitateleva / Book Paperback
common.buy 35.45 € 69.33 лв
Desafios em projetos Daiane Freire Benites / Book Paperback
common.buy 31.95 € 62.49 лв
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Book Paperback
common.buy 22.22 € 43.47 лв
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Book Hardback
common.buy 15.23 € 29.78 лв
Lord Byron Alfred Schirokauer / Book Paperback
common.buy 23.46 € 45.88 лв
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Book Hardback
common.buy 16.10 € 31.49 лв
Milli Tarihin Insasi / Book Paperback
common.buy 17.91 € 35.03 лв
Blue Skies T. C. Boyle / Book Paperback
common.buy 14.30 € 27.97 лв
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Book Paperback
common.buy 33.87 € 66.24 лв
Libro dei verbali di cantiere Mateea Falconi / Book Paperback
common.buy 12.40 € 24.24 лв
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Book Paperback
common.buy 29.58 € 57.86 лв
Fondamenti di informatica Yogesh Kumar Sharma / Book Paperback
common.buy 66.32 € 129.71 лв
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Book Paperback
common.buy 21.19 € 41.45 лв
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Book Hardback
common.buy 90.87 € 177.72 лв
Top
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Book Hardback
common.buy 37.45 € 73.26 лв
Wiara w pytaniach i odpowiedziach / Book Hardback
common.buy 4.93 € 9.65 лв
Les filles pensent que... Il faut embrasser beaucoup de crapauds avant de trouver le prince charmant Lucie de Paola / Book Paperback
common.buy 19.19 € 37.53 лв
FARCE DU CUVIER 5EME N04 Anonyme / Book Paperback
common.buy 5.24 € 10.26 лв
BABADADA, Euskara artikuluekin - Armenian (in armenian script), irudi hiztegia - visual dictionary (in armenian script) Babadada GmbH / Book Paperback
common.buy 28.96 € 56.65 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Constructive Analysis and Synthesis of Programs
Author Marco Benini
Language English
Binding Book - Hardback
Date of issue 2009
Number of pages 140
EAN 9781445206387
ISBN 9781445206387
Libristo code 08576148
Publishers Lulu.com
Weight 379
Dimensions 152 x 229 x 11

Categories

Mathematics & Science > Science: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

An EA/TEF Story Inside and Out Vanessa Munsch / Book Paperback
common.buy 20.78 € 40.65 лв
Industrial Applications II Tharwat F. Tadros / Book Hardback
common.buy 246.78 € 482.66 лв
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Book Hardback
common.buy 42.96 € 84.02 лв
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Book Paperback
common.buy 28.50 € 55.74 лв
Foxe's Book of Martyrs John Foxe / Book Paperback
common.buy 24.90 € 48.70 лв
More Hypnotic Scripts That Work John Cerbone / Book Paperback
common.buy 56.29 € 110.09 лв
Starfish Girl Athena Villaverde / Book Paperback
common.buy 16.87 € 33.00 лв
American Journal of Physiology, Volume 47 American Physiological Society / Book Hardback
common.buy 41.98 € 82.11 лв
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Book Paperback
common.buy 48.88 € 95.60 лв
Foreign Missions Rufus Anderson / Book Hardback
common.buy 37.15 € 72.65 лв
Elevation in the Eucharist Its History and Rationale T. W. DRURY / Book Paperback
common.buy 22.64 € 44.29 лв
Golden Book of Ireland Frances Power / Book Paperback
common.buy 20.01 € 39.14 лв
Late Hector Kipling David Thewlis / Book Paperback
common.buy 19.14 € 37.43 лв
Foreign Direct Investment Daniel Nicholls / Book Hardback
common.buy 95.96 € 187.68 лв
Digital Culture & Society (DCS) Ramón Reichert / Book Paperback
common.buy 42.09 € 82.31 лв
Global Migrations Angela McCarthy / E-book Adobe ePub DRM
common.buy 37.66 € 73.66 лв
Inward Yung Pueblo / Audiobook MP3
common.buy 16.41 € 32.09 лв
How Labor Powers the Global Economy Emmanuel D. Farjoun / E-book Adobe ePub DRM
common.buy 129.72 € 253.70 лв
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Book Book
common.buy 32.21 € 62.99 лв
Spinosaurus Ben Garrod / Book Paperback
common.buy 9.10 € 17.80 лв
The Princess in Black and the Kitty Catastrophe Shannon Hale / Book Paperback
common.buy 6.94 € 13.58 лв
Paws in His Presence Jennifer Marshall Bleakley / E-book Adobe ePub DRM
common.buy 19.75 € 38.64 лв
From Here to There Aria Jackson / Book Paperback
common.buy 15.02 € 29.38 лв
Elwood Farm Friends in Danger David Paul / Book Hardback
common.buy 27.78 € 54.34 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?