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

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Algebraic Methodology and Software Technology José Meseguer
Код Либристо: 01570336
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2008
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Las memorias del Mariscal Soult Zbigniew Guscin / Книга С твърди корици
common.buy 22.63 € 44.25 лв
Faust I, 3 Audio-CD Johann W. von Goethe / Аудио Аудио компактдиск
common.buy 14.39 € 28.15 лв
La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / E-книга Adobe ePub DRM
common.buy 46.86 € 91.65 лв
Berlinische im Comic Franz Krober / Книга С меки корици
common.buy 17.14 € 33.51 лв
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Книга С меки корици
common.buy 57.17 € 111.81 лв
O prasátku Lojzíkovi Pavel Ondrašíkovi / Книга С твърди корици
common.buy 7.61 € 14.88 лв
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Книга С твърди корици
common.buy 26.04 € 50.94 лв
Single in the rain (Un canto a la vida en single) LOLA / Книга С меки корици
common.buy 21.74 € 42.53 лв
Top Изгодно
El poder del metabolismo Frank Suárez / Книга С меки корици
common.buy 21.69 € 42.43 лв
Frauen aus Deutschland Achim Seiffarth / Книга С меки корици
common.buy 10.35 € 20.25 лв
Dva a půl muže ve člunu Williams Nigel / Книга С твърди корици
common.buy 10.20 € 19.94 лв
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Книга Лист
common.buy 3.46 € 6.78 лв
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Книга С меки корици
common.buy 34.07 € 66.64 лв

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.§The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

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

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

Пълно заглавие Algebraic Methodology and Software Technology
Автор José Meseguer, Grigore Rosu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 434
Баркод 9783540799795
ISBN 3540799796
Код Либристо 01570336
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 688
Размери 155 x 235 x 25

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Puligny-Montrachet Loftus Simon / Книга С меки корици
common.buy 14.86 € 29.06 лв
Establishing Our Life in Christ Rayola Kelley / Книга С меки корици
common.buy 19.31 € 37.77 лв
Civil Disobedience and Other Essays Henry David Thoreau / Книга С меки корици
common.buy 13.72 € 26.83 лв
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Книга С меки корици
common.buy 15.74 € 30.78 лв
Introduction To C Programming Sheetal Patil / Книга С меки корици
common.buy 34.07 € 66.64 лв
Alan Ball: The Man in White Boots David Tossell / Книга С меки корици
common.buy 17.14 € 33.51 лв
Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR / Книга С твърди корици
common.buy 30.76 € 60.15 лв
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Книга С меки корици
common.buy 7.50 € 14.68 лв
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Книга С меки корици
common.buy 7.66 € 14.98 лв
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Книга С меки корици
common.buy 68.82 € 134.60 лв
American Independence And The French Revolution (1760-1801) Kenneth Bell / Книга С меки корици
common.buy 11.85 € 23.18 лв
All the Summer Girls Meg Donohue / Аудиокнига MP3
common.buy 12.37 € 24.20 лв
Keep me as the apple of the eye / Печатни материали Ноти
common.buy 5.38 € 10.52 лв
Pain to Peace J. Young / Книга С меки корици
common.buy 9.94 € 19.44 лв
Coping with the Wobbles of Life Doreen Harrison / Книга С меки корици
common.buy 8.18 € 15.99 лв
Algebraic Methodology and Software Technology Michael Johnson / Книга С меки корици
common.buy 119.57 € 233.85 лв
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Книга С твърди корици
common.buy 26.92 € 52.66 лв
Delivering Change Jeroen Rijke / Книга С меки корици
common.buy 85.34 € 166.91 лв
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Книга С твърди корици
common.buy 95.85 € 187.47 лв
Подготвяме
Le Tour: A History of the Tour de France Geoffrey Wheatcroft / Книга С меки корици
common.buy 10.40 € 20.35 лв
Harold Wilson Ben Pimlott / Книга С меки корици
common.buy 22.68 € 44.35 лв

Вход

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

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

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

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

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