Проверка на състоянието на поръчката
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€

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Algebraic Methodology and Software Technology Maurice Nivat
Код Либристо: 05274595
Издателство Springer, Berlin, ноември 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Цялото описание
? points 263 b
108.69 €
212.58  лв
Външен склад Изпращаме след 5-8 дни

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

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

Нови
Pringel und Finn Wreaders Verlag / Книга С твърди корици
common.buy 16.31 € 31.89 лв
De Thematibus Et De Administrando Imperio Immanuel Bekker / Книга С меки корици
common.buy 29.77 € 58.23 лв
Toisilleen luodut Ranta / Аудиокнига MP3
common.buy 7.50 € 14.68 лв
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Книга С твърди корици
common.buy 32.26 € 63.09 лв
CIA Tim Weiner / Книга С меки корици
common.buy 17.19 € 33.62 лв
Top
Návštěva na Godenholmu Ernst Jünger / Книга С меки корици
common.buy 10.61 € 20.75 лв
English Folk Tales of Coast and Sea Lisa Schneidau / Книга С твърди корици
common.buy 17.14 € 33.51 лв
La Charmante librairie des amours lointaines Jenny Colgan / Книга С меки корици
common.buy 13.87 € 27.13 лв
Wahrungskrieg IV Song Hongbing / Книга С меки корици
common.buy 27.91 € 54.58 лв
Einsichten - Ausblicke Albert Hofmann / E-книга Adobe ePub DRM
common.buy 15.06 € 29.46 лв
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Книга С твърди корици
common.buy 27.08 € 52.96 лв
Au commencement du temps Bogdanov / Книга С меки корици
common.buy 25.06 € 49.01 лв
Vier Stern Stunden Daniel Glattauer / Книга С твърди корици
common.buy 14.49 € 28.35 лв
Koerper trifft Seele Viktoria Georgi / Книга С меки корици
common.buy 13.93 € 27.24 лв

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

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

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

Пълно заглавие Algebraic Methodology and Software Technology
Автор Maurice Nivat, Martin Wirsing
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1996
Брой страници 647
Баркод 9783540614630
ISBN 354061463X
Код Либристо 05274595
Издателство Springer, Berlin
Тегло 850
Размери 156 x 234 x 33

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Книга С твърди корици
common.buy 138.31 € 270.52 лв
Computational Mechanics 95, 4 S.N. Atluri / Книга С меки корици
common.buy 108.69 € 212.58 лв
Eagle Visions Cindi Clarke Summerlin / Книга С меки корици
common.buy 9.47 € 18.52 лв
Top
Cruel Crown Victoria Aveyard / Книга С меки корици
common.buy 13.51 € 26.42 лв
Подготвяме
Attack On Titan: Colossal Edition 3 Hajime Isayama / Книга С меки корици
common.buy 37.07 € 72.51 лв
Radical Traditions in Education in the 21st Century Ken Jones / Книга С меки корици
common.buy 46.24 € 90.44 лв
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests North Carolina Eog Exam Secrets Test Pre / Книга С меки корици
common.buy 38.52 € 75.35 лв
Most Way Home Kevin Young / Книга С меки корици
common.buy 14.81 € 28.96 лв
Great Antonio Elise Gravel / Книга С твърди корици
common.buy 11.85 € 23.18 лв
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Книга С меки корици
common.buy 17.81 € 34.83 лв
The Nigger from The Black Lagoon Shane Williams / Книга С твърди корици
common.buy 21.33 € 41.72 лв
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Книга С меки корици
common.buy 109.73 € 214.61 лв
The Cavalier George Washington Cable / Книга С меки корици
common.buy 8.12 € 15.89 лв
Extracted Clover Autrey / Книга С меки корици
common.buy 10.35 € 20.25 лв
Collins Birds of the World Norman Arlott / Книга С твърди корици
common.buy 83.94 € 164.17 лв
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Книга С меки корици
common.buy 39.25 € 76.76 лв
Cambridge Illustrated History of Warfare Geoffrey Parker / Книга С меки корици
common.buy 48.16 € 94.18 лв
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-книга Adobe ePub DRM
common.buy 207.45 € 405.73 лв
Thoughts to Reflect On Robert Burns / Книга С твърди корици
common.buy 25.27 € 49.42 лв
Where the Road Leads Sallie Smith Tribou / Книга С твърди корици
common.buy 24.75 € 48.40 лв
After the Ice Steven Mithen / Книга С меки корици
common.buy 19.31 € 37.77 лв
Isotopes in the Water Cycle Pradeep K. Aggarwal / Книга С меки корици
common.buy 119.77 € 234.26 лв
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Книга Книга
common.buy 3 228.36 € 6 314.13 лв
Rebecca`s Reward Lauraine Snelling / Книга С меки корици
common.buy 11.23 € 21.97 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo