Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Constructive Analysis and Synthesis of Programs

Język AngielskiAngielski
Książka Twarda
Książka Constructive Analysis and Synthesis of Programs Marco Benini
Kod Libristo: 08576148
Wydawnictwo Lulu.com, październik 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Cały opis
? points 74 b
Gwarancja
najlepszej
ceny ▸
132.71 zł
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Fondamenti di informatica Yogesh Kumar Sharma / Książka Miękka
common.buy 289.37 zł
Libro dei verbali di cantiere Mateea Falconi / Książka Miękka
common.buy 52.48 zł
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Książka Miękka
common.buy 139.29 zł
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Książka Twarda
common.buy 62.75 zł
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Książka Miękka
common.buy 96.96 zł
Blue Skies T. C. Boyle / Książka Miękka
common.buy 58.85 zł
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Książka Twarda
common.buy 154.59 zł
Les filles pensent que... Il faut embrasser beaucoup de crapauds avant de trouver le prince charmant Lucie de Paola / Książka Miękka
common.buy 83.92 zł
BABADADA, Euskara artikuluekin - Armenian (in armenian script), irudi hiztegia - visual dictionary (in armenian script) Babadada GmbH / Książka Miękka
common.buy 122.95 zł
Plätzchen: Meine Rezepte: Plätzchenrezepte zum selbst eintragen / DIN A5 - 6x9" - 120 Seiten mit Rezeptvorlagen / Lustiger Spruch New Living / Książka Miękka
common.buy 46.11 zł
Milli Tarihin Insasi / Książka Miękka
common.buy 74.36 zł
Desafios em projetos Daiane Freire Benites / Książka Miękka
common.buy 139.29 zł
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Książka Miękka
common.buy 88.74 zł
Wiara w pytaniach i odpowiedziach / Książka Twarda
common.buy 18.69 zł
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Książka Twarda
common.buy 378.84 zł
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Książka Miękka
common.buy 115.25 zł
Ornament v sisteme rospisej Vsehsvyatskoj cerkvi Kievo-Pecherskoj lavry Elena Pitateleva / Książka Miękka
common.buy 154.69 zł
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Książka Twarda
common.buy 66.35 zł
Lord Byron Alfred Schirokauer / Książka Miękka
common.buy 96.65 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Constructive Analysis and Synthesis of Programs
Autor Marco Benini
Język Angielski
Oprawa Książka - Twarda
Data wydania 2009
Liczba stron 140
EAN 9781445206387
ISBN 9781445206387
Kod Libristo 08576148
Wydawnictwo Lulu.com
Waga 379
Wymiary 152 x 229 x 11

Kategoria

Matematyka i nauki ścisłe > Nauki ścisłe
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

An EA/TEF Story Inside and Out Vanessa Munsch / Książka Miękka
common.buy 88.03 zł
Foreign Missions Rufus Anderson / Książka Twarda
common.buy 157.78 zł
Be with Me Mike Chernuk / Książka Miękka
common.buy 57.41 zł
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Książka Miękka
common.buy 121.00 zł
Foxe's Book of Martyrs John Foxe / Książka Miękka
common.buy 105.80 zł
More Hypnotic Scripts That Work John Cerbone / Książka Miękka
common.buy 259.58 zł
Starfish Girl Athena Villaverde / Książka Miękka
common.buy 71.90 zł
Paws in His Presence Jennifer Marshall Bleakley / E-book Adobe ePub DRM
common.buy 79.09 zł
TOP
The Princess in Black and the Kitty Catastrophe Shannon Hale / Książka Miękka
common.buy 28.65 zł
American Journal of Physiology, Volume 47 American Physiological Society / Książka Twarda
common.buy 178.22 zł
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Książka Miękka
common.buy 206.78 zł
Foreign Direct Investment Daniel Nicholls / Książka Twarda
common.buy 418.29 zł
Young Robin Hood George Manville Fenn / Książka Miękka
common.buy 56.49 zł
Elevation in the Eucharist Its History and Rationale T. W. DRURY / Książka Miękka
common.buy 94.50 zł
Spinosaurus Ben Garrod / Książka Miękka
common.buy 37.69 zł
Late Hector Kipling David Thewlis / Książka Miękka
common.buy 81.35 zł
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Książka Twarda
common.buy 182.53 zł
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Książka Książka
common.buy 135.38 zł
How Labor Powers the Global Economy Emmanuel D. Farjoun / E-book Adobe ePub DRM
common.buy 521.94 zł
Inward Yung Pueblo / Audiobook MP3
common.buy 65.84 zł
Digital Culture & Society (DCS) Ramón Reichert / Książka Miękka
common.buy 178.94 zł
Cheating Marleen Marylin Mour / Książka Miękka
common.buy 94.50 zł
Heterocycles from Transition Metal Catalysis András Kotschy / Książka Miękka
common.buy 669.55 zł
Remythologizing Theology Kevin J. Vanhoozer / Książka Miękka
common.buy 280.64 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo