Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Programming and Proof System ATES Armand Puccetti
Libristo kód: 06623975
Nakladatelství Springer, Berlin, červenec 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Celý popis
? points 265 b
2 646 Kč
Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Kalendář/Diář Kalendář
common.buy 766 Kč
Relaxační hypnóza Martin Dlabal / Kniha Brožovaná
common.buy 266 Kč
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Kniha Kniha
common.buy 2 000 Kč
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Hra/Hračka Hra
common.buy 623 Kč
Balance between poets Zaki Mubarak / E-kniha Adobe ePub DRM
common.buy 319 Kč
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Kniha Pevná
common.buy 782 Kč
Патогенная Лептоспира и Хоноре Хоуеменоу / Kniha Brožovaná
common.buy 813 Kč
Choisir l'abondance - Guide de la prospérité Line Bolduc / Kniha Brožovaná
common.buy 665 Kč
Smrť v jazere Richard Austin Freeman / Kniha Pevná
common.buy 228 Kč
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Kniha Brožovaná
common.buy 358 Kč
piano Reina María Rodríguez / Kniha Brožovaná
common.buy 458 Kč
Experimentos de química clásica Lister / Kniha Brožovaná
common.buy 1 572 Kč
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Kniha Brožovaná
common.buy 638 Kč
Připravujeme
Romantica Clock. Bd.7 Yoko Maki / Kniha Brožovaná
common.buy 168 Kč
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Kniha Brožovaná
common.buy 100 Kč
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Kniha Pevná
common.buy 610 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Programming and Proof System ATES
Autor Armand Puccetti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1991
Počet stran 352
EAN 9783540541882
ISBN 9783540541882
Libristo kód 06623975
Nakladatelství Springer, Berlin
Váha 607
Rozměry 170 x 244 x 18

Kategorie

Matematika a věda > Matematika > Diferenciální a integrální počet a matematická analýza > Numerická analýza
Technologie, strojírenství, zemědělství > Dopravní technologie a profese v dopravních technologiích > Automobilová technika a technologie a profese > Dovednosti automechaniků
Technologie, strojírenství, zemědělství > Technologie: obecná témata > Matematika pro techniky
Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Alternativní a obnovitelné zdroje energie a technologie
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Ready For Takeoff - Stories from an Air Force Pilot David Dale / Kniha Pevná
common.buy 756 Kč
The Girl Behind The Wall Ashley Antoinette / Kniha Brožovaná
common.buy 362 Kč
No 40 Year Journey Brandi Rojas / Kniha Brožovaná
common.buy 381 Kč
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Kniha Pevná
common.buy 946 Kč
Manifesto of the Communist Party Friedrich Engels / Kniha Brožovaná
common.buy 196 Kč
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Kniha Brožovaná
common.buy 382 Kč
Advances in Simulation, Product Design and Development M. S. Shunmugam / Kniha Brožovaná
common.buy 7 057 Kč
Wow! Look What Birds Can Do Camilla De La Bedoyere / Kniha Pevná
common.buy 302 Kč
Operating Manual Bikash Poudel / Kniha Brožovaná
common.buy 1 014 Kč
Twenty-Two Goblins RYDER / Kniha Pevná
common.buy 464 Kč
Winter Wonderland HEIDI CULLINAN / Kniha Brožovaná
common.buy 325 Kč
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Kniha Brožovaná
common.buy 489 Kč
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Kniha Brožovaná
common.buy 262 Kč
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Kniha Brožovaná
common.buy 285 Kč
Psalms to Inspire DAVID SPIETZ / Kniha Brožovaná
common.buy 392 Kč
Significance of Diaspora Politics in the Visual Arts Les Morgan / Kniha Brožovaná
common.buy 1 420 Kč
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Kniha Brožovaná
common.buy 1 632 Kč
Připravujeme
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Kniha Pevná
common.buy 6 086 Kč
Bucking the Railroads on the Kansas Frontier John N. Mack / Kniha Brožovaná
common.buy 1 087 Kč
History of Modern India Ishita Banerjee-Dube / Kniha Brožovaná
common.buy 1 091 Kč
Pocket Guide to Legal Ethics Angela Schneeman / Kniha Kroužková
common.buy 1 043 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?