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.

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Limba englezăengleză
Carte Carte broșată
Carte Programming and Proof System ATES Armand Puccetti
Codul Libristo: 06623975
Editura Springer, Berlin, iulie 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Descrierea completă
? points 277 b
599.44 lei
În depozitul extern în cantități mici Expediem în 11-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 186.23 lei
Relaxační hypnóza Martin Dlabal / Carte Carte broșată
common.buy 63.35 lei
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Carte Carte
common.buy 432.62 lei
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Joc / Jucărie Joc
common.buy 150.50 lei
Balance between poets Zaki Mubarak / E-book Adobe ePub DRM
common.buy 69.17 lei
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Carte Copertă tare
common.buy 191.01 lei
Патогенная Лептоспира и Хоноре Хоуеменоу / Carte Carte broșată
common.buy 197.66 lei
Choisir l'abondance - Guide de la prospérité Line Bolduc / Carte Carte broșată
common.buy 143.85 lei
Smrť v jazere Richard Austin Freeman / Carte Copertă tare
common.buy 54.94 lei
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Carte Carte broșată
common.buy 85.17 lei
piano Reina María Rodríguez / Carte Carte broșată
common.buy 109.05 lei
Experimentos de química clásica Lister / Carte Carte broșată
common.buy 340.07 lei
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Carte Carte broșată
common.buy 156.42 lei
Curând
Romantica Clock. Bd.7 Yoko Maki / Carte Carte broșată
common.buy 39.98 lei
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Carte Carte broșată
common.buy 21.80 lei
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Carte Copertă tare
common.buy 148.42 lei

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.

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 Programming and Proof System ATES
Autor Armand Puccetti
Limba engleză
Legare Carte - Carte broșată
Data publicării 1991
Număr pagini 352
EAN 9783540541882
ISBN 9783540541882
Codul Libristo 06623975
Editura Springer, Berlin
Greutatea 607
Dimensiuni 170 x 244 x 18

Categorii

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Technology, Engineering, Agriculture > Transport technology & trades > Automotive technology & trades > Automotive (motor mechanic) skills
Technology, Engineering, Agriculture > Technology: general issues > Maths for engineers
Technology, Engineering, Agriculture > Energy technology & engineering > Alternative & renewable energy sources & technology
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Ready For Takeoff - Stories from an Air Force Pilot David Dale / Carte Copertă tare
common.buy 178.65 lei
The Girl Behind The Wall Ashley Antoinette / Carte Carte broșată
common.buy 86.72 lei
Advances in Simulation, Product Design and Development M. S. Shunmugam / Carte Carte broșată
common.buy 1 701.52 lei
No 40 Year Journey Brandi Rojas / Carte Carte broșată
common.buy 91.29 lei
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Carte Copertă tare
common.buy 225.39 lei
Manifesto of the Communist Party Friedrich Engels / Carte Carte broșată
common.buy 46.94 lei
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Carte Carte broșată
common.buy 91.50 lei
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Carte Carte broșată
common.buy 70.73 lei
Wow! Look What Birds Can Do Camilla De La Bedoyere / Carte Copertă tare
common.buy 69.69 lei
Operating Manual Bikash Poudel / Carte Carte broșată
common.buy 246.58 lei
Twenty-Two Goblins RYDER / Carte Copertă tare
common.buy 109.47 lei
Winter Wonderland HEIDI CULLINAN / Carte Carte broșată
common.buy 79.56 lei
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Carte Carte broșată
common.buy 116.53 lei
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Carte Carte broșată
common.buy 62.73 lei
The Life and Letters of Edward Gibbon, With his History of the Crusades Edward Gibbon / Carte Carte broșată
common.buy 152.68 lei
Psalms to Inspire DAVID SPIETZ / Carte Carte broșată
common.buy 93.47 lei
Significance of Diaspora Politics in the Visual Arts Les Morgan / Carte Carte broșată
common.buy 338.51 lei
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Carte Carte broșată
common.buy 388.89 lei
Curând
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Carte Copertă tare
common.buy 1 454.92 lei
Bucking the Railroads on the Kansas Frontier John N. Mack / Carte Carte broșată
common.buy 254.99 lei
History of Modern India Ishita Banerjee-Dube / Carte Carte broșată
common.buy 248.35 lei
Pocket Guide to Legal Ethics Angela Schneeman / Carte Cu spiră
common.buy 237.54 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?