Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Constructive Analysis and Synthesis of Programs

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Constructive Analysis and Synthesis of Programs Marco Benini
Libristo kod: 08576148
Nakladnici Lulu.com, listopad 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Cijeli opis
? points 74 b
30.57 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Blue Skies T. C. Boyle / Knjiga Meki uvez
common.buy 13.56 €
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Knjiga Meki uvez
common.buy 32.09 €
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Knjiga Meki uvez
common.buy 28.04 €
Fondamenti di informatica Yogesh Kumar Sharma / Knjiga Meki uvez
common.buy 71.99 €
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Knjiga Tvrdi uvez
common.buy 14.47 €
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Knjiga Tvrdi uvez
common.buy 33.61 €
Milli Tarihin Insasi / Knjiga Meki uvez
common.buy 17.20 €
Desafios em projetos Daiane Freire Benites / Knjiga Meki uvez
common.buy 34.93 €
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Knjiga Meki uvez
common.buy 19.43 €
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Knjiga Tvrdi uvez
common.buy 83.33 €
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Knjiga Meki uvez
common.buy 30.27 €
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Knjiga Tvrdi uvez
common.buy 15.28 €
Lord Byron Alfred Schirokauer / Knjiga Meki uvez
common.buy 23.69 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Constructive Analysis and Synthesis of Programs
Autor Marco Benini
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2009
Broj stranica 140
EAN 9781445206387
ISBN 9781445206387
Libristo kod 08576148
Nakladnici Lulu.com
Težina 379
Dimenzije 152 x 229 x 11

Kategorija

Mathematics & Science > Science: general issues
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Knjiga Meki uvez
common.buy 26.72 €
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Knjiga Meki uvez
common.buy 50.01 €
Be with Me Mike Chernuk / Knjiga Meki uvez
common.buy 13.26 €
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Knjiga Meki uvez
common.buy 27.94 €
More Hypnotic Scripts That Work John Cerbone / Knjiga Meki uvez
common.buy 59.94 €
Starfish Girl Athena Villaverde / Knjiga Meki uvez
common.buy 16.60 €
The Princess in Black and the Kitty Catastrophe Shannon Hale / Knjiga Meki uvez
common.buy 6.27 €
Communicatie Bij Hersenletsel E Witteveen / Knjiga Tvrdi uvez
common.buy 46.17 €
American Journal of Physiology, Volume 47 American Physiological Society / Knjiga Tvrdi uvez
common.buy 41.10 €
Foxe's Book of Martyrs John Foxe / Knjiga Meki uvez
common.buy 24.39 €
Foreign Missions Rufus Anderson / Knjiga Tvrdi uvez
common.buy 36.44 €
Young Robin Hood George Manville Fenn / Knjiga Meki uvez
common.buy 13.05 €
Spinosaurus Ben Garrod / Knjiga Meki uvez
common.buy 8.70 €
Late Hector Kipling David Thewlis / Knjiga Meki uvez
common.buy 18.72 €
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Knjiga Tvrdi uvez
common.buy 42.12 €
Inward Yung Pueblo / Audio knjiga MP3
common.buy 14.27 €
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Knjiga Knjiga
common.buy 29.76 €
Monochrome Craig G. Staff / Knjiga Tvrdi uvez
common.buy 160.08 €
Foreign Direct Investment Daniel Nicholls / Knjiga Tvrdi uvez
common.buy 96.59 €
Remythologizing Theology Kevin J. Vanhoozer / Knjiga Meki uvez
common.buy 68.14 €
Design for Six Sigma Kai Yang / Knjiga Tvrdi uvez
common.buy 138.72 €
Love Won't Let Me Be Silent Terry Angel Mason / Knjiga Tvrdi uvez
common.buy 21.66 €
Blogging for Writers Robin Houghton / Knjiga Meki uvez
common.buy 29.66 €
X Marks the Spot Russell K. Skowronek / Knjiga Meki uvez
common.buy 21.66 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?