Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Constructive Analysis and Synthesis of Programs

Limba englezăengleză
Carte Copertă tare
Carte Constructive Analysis and Synthesis of Programs Marco Benini
Codul Libristo: 08576148
Editura Lulu.com, octombrie 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Descrierea completă
? points 77 b
167.35 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Blue Skies T. C. Boyle / Carte Carte broșată
common.buy 75.17 lei
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Carte Carte broșată
common.buy 177.72 lei
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Carte Carte broșată
common.buy 123.69 lei
Fondamenti di informatica Yogesh Kumar Sharma / Carte Carte broșată
common.buy 368.82 lei
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Carte Copertă tare
common.buy 79.94 lei
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Carte Copertă tare
common.buy 186.12 lei
Milli Tarihin Insasi / Carte Carte broșată
common.buy 94.14 lei
Desafios em projetos Daiane Freire Benites / Carte Carte broșată
common.buy 177.72 lei
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Carte Carte broșată
common.buy 106.28 lei
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Carte Copertă tare
common.buy 456.65 lei
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Carte Carte broșată
common.buy 165.17 lei
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Carte Copertă tare
common.buy 84.39 lei
Lord Byron Alfred Schirokauer / Carte Carte broșată
common.buy 123.28 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Constructive Analysis and Synthesis of Programs
Autor Marco Benini
Limba engleză
Legare Carte - Copertă tare
Data publicării 2009
Număr pagini 140
EAN 9781445206387
ISBN 9781445206387
Codul Libristo 08576148
Editura Lulu.com
Greutatea 379
Dimensiuni 152 x 229 x 11

Categorii

Mathematics & Science > Science: general issues
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Carte Carte broșată
common.buy 147.44 lei
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Carte Carte broșată
common.buy 260.88 lei
Be with Me Mike Chernuk / Carte Carte broșată
common.buy 72.57 lei
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Carte Carte broșată
common.buy 152.63 lei
More Hypnotic Scripts That Work John Cerbone / Carte Carte broșată
common.buy 332.32 lei
Starfish Girl Athena Villaverde / Carte Carte broșată
common.buy 90.72 lei
The Princess in Black and the Kitty Catastrophe Shannon Hale / Carte Carte broșată
common.buy 34.73 lei
Communicatie Bij Hersenletsel E Witteveen / Carte Copertă tare
common.buy 253.52 lei
American Journal of Physiology, Volume 47 American Physiological Society / Carte Copertă tare
common.buy 225.00 lei
Foxe's Book of Martyrs John Foxe / Carte Carte broșată
common.buy 133.03 lei
Foreign Missions Rufus Anderson / Carte Copertă tare
common.buy 199.08 lei
Young Robin Hood George Manville Fenn / Carte Carte broșată
common.buy 71.43 lei
Spinosaurus Ben Garrod / Carte Carte broșată
common.buy 48.62 lei
Late Hector Kipling David Thewlis / Carte Carte broșată
common.buy 103.68 lei
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Carte Copertă tare
common.buy 230.40 lei
Inward Yung Pueblo / Audiobook MP3
common.buy 79.21 lei
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Carte Carte
common.buy 162.16 lei
Monochrome Craig G. Staff / Carte Copertă tare
common.buy 835.44 lei
Foreign Direct Investment Daniel Nicholls / Carte Copertă tare
common.buy 529.24 lei
Remythologizing Theology Kevin J. Vanhoozer / Carte Carte broșată
common.buy 355.66 lei
Design for Six Sigma Kai Yang / Carte Copertă tare
common.buy 759.02 lei
Love Won't Let Me Be Silent Terry Angel Mason / Carte Copertă tare
common.buy 120.06 lei
Blogging for Writers Robin Houghton / Carte Carte broșată
common.buy 162.37 lei
X Marks the Spot Russell K. Skowronek / Carte Carte broșată
common.buy 120.27 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?