Free delivery for orders over 69.99€

Check order status

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

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Constructive Analysis and Synthesis of Programs

Name: Constructive Analysis and Synthesis of Programs
Brand: Lulu.com
SKU: 08576148
Price: 30.54 EUR
Availability: InStock
Author: Marco Benini
ISBN: 9781445206387

Marco Benini

Language

English

Book Hardback

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

Libristo code: 08576148

74 b

30.54 €

59.72 лв

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba

Paperback

34.00 € 66.50 лв

Libro dei verbali di cantiere Mateea Falconi

Paperback

12.09 € 23.64 лв

Blue Skies T. C. Boyle

Paperback

14.36 € 28.09 лв

Fondamenti di informatica Yogesh Kumar Sharma

Paperback

70.54 € 137.96 лв

Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart

Hardback

15.29 € 29.91 лв

El pirata y el boticario Robert Louis . . . [et al. ] Stevenson

Paperback

21.34 € 41.73 лв

Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem

Paperback

23.66 € 46.28 лв

Ремесленный хлеб и сдоба на закваске Ольга Войнова

Hardback

37.62 € 73.57 лв

Les filles pensent que... Il faut embrasser beaucoup de crapauds avant de trouver le prince charmant Lucie de Paola

Paperback

20.10 € 39.31 лв

FARCE DU CUVIER 5EME N04 Anonyme

Paperback

6.14 € 12.02 лв

BABADADA, Euskara artikuluekin - Armenian (in armenian script), irudi hiztegia - visual dictionary (in armenian script) Babadada GmbH

Paperback

28.31 € 55.38 лв

Plätzchen: Meine Rezepte: Plätzchenrezepte zum selbst eintragen / DIN A5 - 6x9" - 120 Seiten mit Rezeptvorlagen / Lustiger Spruch New Living

Paperback

10.59 € 20.71 лв

Milli Tarihin Insasi

Paperback

17.98 € 35.16 лв

Desafios em projetos Daiane Freire Benites

Paperback

34.00 € 66.50 лв

Wiara w pytaniach i odpowiedziach

Hardback

5.32 € 10.40 лв

Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski

Hardback

91.21 € 178.39 лв

Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha

Paperback

29.35 € 57.40 лв

Ornament v sisteme rospisej Vsehsvyatskoj cerkvi Kievo-Pecherskoj lavry Elena Pitateleva

Paperback

37.72 € 73.77 лв

El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua

Hardback

16.12 € 31.53 лв

Lord Byron Alfred Schirokauer

Paperback

23.56 € 46.08 лв

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.