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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Programming and Proof System ATES Armand Puccetti
Koda Libristo: 06623975
Založba Springer, Berlin, julij 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Celoten opis
? points 252 b
104.31 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Relaxační hypnóza Martin Dlabal / Knjiga Mehka
common.buy 10.62 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Knjiga Mehka
common.buy 33.62 €
Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Koledar/Rokovnik Koledar
common.buy 31.69 €
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Knjiga Knjiga
common.buy 75.55 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Igra/Igrača Igra
common.buy 25.82 €
Balance between poets Zaki Mubarak / E-knjiga Adobe ePub DRM
common.buy 11.94 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Knjiga Trda
common.buy 32.40 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Knjiga Mehka
common.buy 25.11 €
Smrť v jazere Richard Austin Freeman / Knjiga Trda
common.buy 9.11 €
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Knjiga Mehka
common.buy 14.78 €
Experimentos de química clásica Lister / Knjiga Mehka
common.buy 59.14 €
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Knjiga Mehka
common.buy 26.42 €
Kmalu
Romantica Clock. Bd.7 Yoko Maki / Knjiga Mehka
common.buy 6.98 €
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Knjiga Mehka
common.buy 3.74 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Knjiga Trda
common.buy 25.21 €

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.

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 Programming and Proof System ATES
Avtor Armand Puccetti
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1991
Število strani 352
EAN 9783540541882
ISBN 9783540541882
Koda Libristo 06623975
Založba Springer, Berlin
Teža 607
Mere 170 x 244 x 18

Kategorije

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
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

Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Knjiga Trda
common.buy 39.19 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Knjiga Trda
common.buy 11.64 €
Operating Manual Bikash Poudel / Knjiga Mehka
common.buy 41.92 €
Twenty-Two Goblins RYDER / Knjiga Trda
common.buy 19.23 €
Winter Wonderland HEIDI CULLINAN / Knjiga Mehka
common.buy 13.46 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Knjiga Mehka
common.buy 20.25 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Knjiga Mehka
common.buy 10.83 €
Ready For Takeoff - Stories from an Air Force Pilot David Dale / Knjiga Trda
common.buy 31.29 €
The Girl Behind The Wall Ashley Antoinette / Knjiga Mehka
common.buy 14.98 €
Manifesto of the Communist Party Friedrich Engels / Knjiga Mehka
common.buy 8.09 €
Psalms to Inspire DAVID SPIETZ / Knjiga Mehka
common.buy 16.20 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Knjiga Mehka
common.buy 58.73 €
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Knjiga Mehka
common.buy 67.55 €
Kmalu
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Knjiga Trda
common.buy 251.88 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Knjiga Mehka
common.buy 44.96 €
History of Modern India Ishita Banerjee-Dube / Knjiga Mehka
common.buy 47.49 €
Pocket Guide to Legal Ethics Angela Schneeman / Knjiga Spiralna
common.buy 45.47 €
Adult Jigsaw Puzzle Beryl Cook: Date Night Flame Tree Studio / Knjiga Trda
common.buy 14.37 €

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