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 13.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 ▸
130.58 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Blue Skies T. C. Boyle / Książka Miękka
common.buy 57.91 zł
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Książka Miękka
common.buy 137.05 zł
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Książka Miękka
common.buy 95.41 zł
Fondamenti di informatica Yogesh Kumar Sharma / Książka Miękka
common.buy 284.72 zł
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Książka Twarda
common.buy 61.75 zł
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Książka Twarda
common.buy 152.11 zł
Milli Tarihin Insasi / Książka Miękka
common.buy 73.17 zł
Desafios em projetos Daiane Freire Benites / Książka Miękka
common.buy 137.05 zł
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Książka Miękka
common.buy 86.81 zł
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Książka Twarda
common.buy 373.16 zł
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Książka Miękka
common.buy 128.96 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 65.29 zł
Lord Byron Alfred Schirokauer / Książka Miękka
common.buy 95.10 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ć

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Książka Miękka
common.buy 114.11 zł
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Książka Miękka
common.buy 203.46 zł
Be with Me Mike Chernuk / Książka Miękka
common.buy 56.49 zł
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Książka Miękka
common.buy 119.06 zł
More Hypnotic Scripts That Work John Cerbone / Książka Miękka
common.buy 255.41 zł
Starfish Girl Athena Villaverde / Książka Miękka
common.buy 70.74 zł
The Princess in Black and the Kitty Catastrophe Shannon Hale / Książka Miękka
common.buy 26.67 zł
Communicatie Bij Hersenletsel E Witteveen / Książka Twarda
common.buy 207.09 zł
American Journal of Physiology, Volume 47 American Physiological Society / Książka Twarda
common.buy 175.36 zł
Foxe's Book of Martyrs John Foxe / Książka Miękka
common.buy 104.10 zł
Foreign Missions Rufus Anderson / Książka Twarda
common.buy 155.24 zł
Young Robin Hood George Manville Fenn / Książka Miękka
common.buy 55.58 zł
Spinosaurus Ben Garrod / Książka Miękka
common.buy 37.19 zł
Late Hector Kipling David Thewlis / Książka Miękka
common.buy 80.04 zł
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Książka Twarda
common.buy 179.60 zł
Inward Yung Pueblo / Audiobook MP3
common.buy 64.17 zł
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Książka Książka
common.buy 132.50 zł
Monochrome Craig G. Staff / Książka Twarda
common.buy 648.50 zł
Foreign Direct Investment Daniel Nicholls / Książka Twarda
common.buy 411.77 zł
Remythologizing Theology Kevin J. Vanhoozer / Książka Miękka
common.buy 276.13 zł
Design for Six Sigma Kai Yang / Książka Twarda
common.buy 591.59 zł
Love Won't Let Me Be Silent Terry Angel Mason / Książka Twarda
common.buy 92.27 zł
Blogging for Writers Robin Houghton / Książka Miękka
common.buy 132.70 zł
X Marks the Spot Russell K. Skowronek / Książka Miękka
common.buy 92.48 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?