Free delivery for orders over 69.99 euro.

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 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Constructive Analysis and Synthesis of Programs

Name: Constructive Analysis and Synthesis of Programs
Brand: Lulu.com
SKU: 08576148
Price: 30.63 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.63 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Fondamenti di informatica Yogesh Kumar Sharma

Paperback

66.86 €

Libro dei verbali di cantiere Mateea Falconi

Paperback

12.17 €

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

Paperback

32.16 €

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

Hardback

14.50 €

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

Paperback

22.42 €

Blue Skies T. C. Boyle

Paperback

13.59 €

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

Hardback

35.71 €

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

Paperback

19.47 €

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

Paperback

28.40 €

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

Paperback

10.64 €

Milli Tarihin Insasi

Paperback

17.24 €

Desafios em projetos Daiane Freire Benites

Paperback

32.16 €

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

Paperback

20.49 €

Wiara w pytaniach i odpowiedziach

Hardback

5.06 €

Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski

Hardback

87.56 €

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

Paperback

29.52 €

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

Paperback

35.81 €

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

Hardback

15.31 €

Lord Byron Alfred Schirokauer

Paperback

22.31 €

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.