Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Constructive Analysis and Synthesis of Programs

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Constructive Analysis and Synthesis of Programs Marco Benini
Koda Libristo: 08576148
Založba Lulu.com, oktober 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Celoten opis
? points 70 b
29.02 €
Na zalogi pri dobavitelju Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Fondamenti di informatica Yogesh Kumar Sharma / Knjiga Mehka
common.buy 62.58 €
Libro dei verbali di cantiere Mateea Falconi / Knjiga Mehka
common.buy 11.28 €
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Knjiga Mehka
common.buy 30.12 €
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Knjiga Trda
common.buy 13.49 €
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Knjiga Mehka
common.buy 20.95 €
Blue Skies T. C. Boyle / Knjiga Mehka
common.buy 12.69 €
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Knjiga Trda
common.buy 31.43 €
Les filles pensent que... Il faut embrasser beaucoup de crapauds avant de trouver le prince charmant Lucie de Paola / Knjiga Mehka
common.buy 17.83 €
Milli Tarihin Insasi / Knjiga Mehka
common.buy 16.22 €
Desafios em projetos Daiane Freire Benites / Knjiga Mehka
common.buy 30.12 €
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Knjiga Mehka
common.buy 18.23 €
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Knjiga Trda
common.buy 78.80 €
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Knjiga Mehka
common.buy 27.91 €
Ornament v sisteme rospisej Vsehsvyatskoj cerkvi Kievo-Pecherskoj lavry Elena Pitateleva / Knjiga Mehka
common.buy 33.45 €
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Knjiga Trda
common.buy 14.30 €
Lord Byron Alfred Schirokauer / Knjiga Mehka
common.buy 20.85 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Constructive Analysis and Synthesis of Programs
Avtor Marco Benini
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2009
Število strani 140
EAN 9781445206387
ISBN 9781445206387
Koda Libristo 08576148
Založba Lulu.com
Teža 379
Mere 152 x 229 x 11

Kategorije

Mathematics & Science > Science: general issues
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Knjiga Mehka
common.buy 25.19 €
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Knjiga Mehka
common.buy 49.78 €
Elwood Farm Friends in Danger David Paul / Knjiga Trda
common.buy 28.31 €
Be with Me Mike Chernuk / Knjiga Mehka
common.buy 12.59 €
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Knjiga Mehka
common.buy 26.39 €
Foxe's Book of Martyrs John Foxe / Knjiga Mehka
common.buy 23.17 €
More Hypnotic Scripts That Work John Cerbone / Knjiga Mehka
common.buy 55.92 €
Starfish Girl Athena Villaverde / Knjiga Mehka
common.buy 15.71 €
Communicatie Bij Hersenletsel E Witteveen / Knjiga Trda
common.buy 43.53 €
American Journal of Physiology, Volume 47 American Physiological Society / Knjiga Trda
common.buy 38.99 €
Foreign Direct Investment Daniel Nicholls / Knjiga Trda
common.buy 91.30 €
Foreign Missions Rufus Anderson / Knjiga Trda
common.buy 34.46 €
Young Robin Hood George Manville Fenn / Knjiga Mehka
common.buy 12.29 €
Spinosaurus Ben Garrod / Knjiga Mehka
common.buy 8.05 €
Late Hector Kipling David Thewlis / Knjiga Mehka
common.buy 17.63 €
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Knjiga Trda
common.buy 39.90 €
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Knjiga Knjiga
common.buy 28.11 €
Inward Yung Pueblo / Zvočnica MP3
common.buy 13.70 €
Cheating Marleen Marylin Mour / Knjiga Mehka
common.buy 26.50 €
Top
The Princess in Black and the Kitty Catastrophe Shannon Hale / Knjiga Mehka
common.buy 5.84 €
Design for Six Sigma Kai Yang / Knjiga Trda
common.buy 131.31 €
Nanoscale Spectroscopy and Its Applications to Semiconductor Research Y. Watanabe / Knjiga Mehka
common.buy 103.80 €
Love Won't Let Me Be Silent Terry Angel Mason / Knjiga Trda
common.buy 20.25 €
Blogging for Writers Robin Houghton / Knjiga Mehka
common.buy 28.21 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?