Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Constructive Analysis and Synthesis of Programs

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Constructive Analysis and Synthesis of Programs Marco Benini
Libristo kód: 08576148
Nakladateľstvo Lulu.com, október 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Celý popis
? points 70 b
29.05 €
Skladom u dodávateľa Odosielame za 9-15 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Constructive Analysis and Synthesis of Programs
Autor Marco Benini
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2009
Počet strán 140
EAN 9781445206387
ISBN 9781445206387
Libristo kód 08576148
Nakladateľstvo Lulu.com
Váha 379
Rozmery 152 x 229 x 11

Kategórie

Matematika a veda > Veda: všeobecné témy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Kniha Brožovaná
common.buy 26.62 €
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Kniha Brožovaná
common.buy 49.83 €
Be with Me Mike Chernuk / Kniha Brožovaná
common.buy 12.60 €
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Kniha Brožovaná
common.buy 26.42 €
More Hypnotic Scripts That Work John Cerbone / Kniha Brožovaná
common.buy 55.98 €
Starfish Girl Athena Villaverde / Kniha Brožovaná
common.buy 15.73 €
The Princess in Black and the Kitty Catastrophe Shannon Hale / Kniha Brožovaná
common.buy 5.84 €
Communicatie Bij Hersenletsel E Witteveen / Kniha Pevná
common.buy 48.42 €
American Journal of Physiology, Volume 47 American Physiological Society / Kniha Pevná
common.buy 39.03 €
Foxe's Book of Martyrs John Foxe / Kniha Brožovaná
common.buy 23.19 €
Foreign Missions Rufus Anderson / Kniha Pevná
common.buy 34.49 €
Young Robin Hood George Manville Fenn / Kniha Brožovaná
common.buy 12.30 €
Spinosaurus Ben Garrod / Kniha Brožovaná
common.buy 8.67 €
Late Hector Kipling David Thewlis / Kniha Brožovaná
common.buy 17.65 €
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Kniha Pevná
common.buy 39.94 €
Inward Yung Pueblo / Audiokniha MP3
common.buy 15.02 €
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Kniha Kniha
common.buy 30.96 €
Monochrome Craig G. Staff / Kniha Pevná
common.buy 159.49 €
Foreign Direct Investment Daniel Nicholls / Kniha Pevná
common.buy 96.24 €
Remythologizing Theology Kevin J. Vanhoozer / Kniha Brožovaná
common.buy 67.89 €
Design for Six Sigma Kai Yang / Kniha Pevná
common.buy 131.44 €
Love Won't Let Me Be Silent Terry Angel Mason / Kniha Pevná
common.buy 20.27 €
Blogging for Writers Robin Houghton / Kniha Brožovaná
common.buy 30.96 €
X Marks the Spot Russell K. Skowronek / Kniha Brožovaná
common.buy 20.27 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?