Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Език Английски езикАнглийски език
Книга С меки корици
Книга Programming and Proof System ATES Armand Puccetti
Код Либристо: 06623975
Издателство Springer, Berlin, юли 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Цялото описание
? points 289 b
119.63 €
233.97  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 35.58 € 69.59 лв
Relaxační hypnóza Martin Dlabal / Книга С меки корици
common.buy 12.10 € 23.66 лв
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Книга Книга
common.buy 86.27 € 168.72 лв
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Игра/играчка Игра
common.buy 28.75 € 56.23 лв
Balance between poets Zaki Mubarak / E-книга Adobe ePub DRM
common.buy 13.86 € 27.10 лв
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Книга С твърди корици
common.buy 36.51 € 71.41 лв
Патогенная Лептоспира и Хоноре Хоуеменоу / Книга С меки корици
common.buy 37.75 € 73.84 лв
Choisir l'abondance - Guide de la prospérité Line Bolduc / Книга С меки корици
common.buy 28.70 € 56.13 лв
Smrť v jazere Richard Austin Freeman / Книга С твърди корици
common.buy 11.17 € 21.84 лв
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Книга С меки корици
common.buy 15.51 € 30.34 лв
piano Reina María Rodríguez / Книга С меки корици
common.buy 19.86 € 38.83 лв
Experimentos de química clásica Lister / Книга С меки корици
common.buy 67.90 € 132.81 лв
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Книга С меки корици
common.buy 28.08 € 54.92 лв
Подготвяме
Romantica Clock. Bd.7 Yoko Maki / Книга С меки корици
common.buy 7.65 € 14.96 лв
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Книга С меки корици
common.buy 4.29 € 8.39 лв
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Книга С твърди корици
common.buy 28.34 € 55.42 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Programming and Proof System ATES
Автор Armand Puccetti
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1991
Брой страници 352
Баркод 9783540541882
ISBN 9783540541882
Код Либристо 06623975
Издателство Springer, Berlin
Тегло 607
Размери 170 x 244 x 18

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Ready For Takeoff - Stories from an Air Force Pilot David Dale / Книга С твърди корици
common.buy 32.68 € 63.92 лв
The Girl Behind The Wall Ashley Antoinette / Книга С меки корици
common.buy 15.72 € 30.74 лв
No 40 Year Journey Brandi Rojas / Книга С меки корици
common.buy 16.60 € 32.46 лв
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Книга С твърди корици
common.buy 41.06 € 80.31 лв
Manifesto of the Communist Party Friedrich Engels / Книга С меки корици
common.buy 8.53 € 16.68 лв
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Книга С меки корици
common.buy 16.65 € 32.56 лв
Advances in Simulation, Product Design and Development M. S. Shunmugam / Книга С меки корици
common.buy 325.12 € 635.87 лв
Wow! Look What Birds Can Do Camilla De La Bedoyere / Книга С твърди корици
common.buy 14.17 € 27.71 лв
Operating Manual Bikash Poudel / Книга С меки корици
common.buy 47.11 € 92.15 лв
Twenty-Two Goblins RYDER / Книга С твърди корици
common.buy 20.06 € 39.24 лв
Winter Wonderland HEIDI CULLINAN / Книга С меки корици
common.buy 14.27 € 27.91 лв
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Книга С меки корици
common.buy 21.25 € 41.57 лв
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Книга С меки корици
common.buy 11.43 € 22.35 лв
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Книга С меки корици
common.buy 12.92 € 25.28 лв
Psalms to Inspire DAVID SPIETZ / Книга С меки корици
common.buy 17.01 € 33.27 лв
Significance of Diaspora Politics in the Visual Arts Les Morgan / Книга С меки корици
common.buy 61.65 € 120.57 лв
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Книга С меки корици
common.buy 70.85 € 138.58 лв
Подготвяме
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Книга С твърди корици
common.buy 278.00 € 543.72 лв
Bucking the Railroads on the Kansas Frontier John N. Mack / Книга С меки корици
common.buy 46.80 € 91.54 лв
History of Modern India Ishita Banerjee-Dube / Книга С меки корици
common.buy 49.80 € 97.41 лв
Pocket Guide to Legal Ethics Angela Schneeman / Книга Със спирала
common.buy 47.63 € 93.16 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?