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

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods and Software Engineering Karin Breitman
Код Либристо: 01655066
Издателство Springer, Berlin, октомври 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Цялото описание
? points 263 b
108.45 €
212.10  лв
Външен склад Изпращаме след 5-8 дни

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

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

Mapa National Portugal, Madeira 2021 / Книга binding.
common.buy 13.27 € 25.96 лв
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Книга С меки корици
common.buy 10.79 € 21.11 лв
L'enfant du mistral Jean-Michel Thibaux / Книга С меки корици
common.buy 10.07 € 19.70 лв
Régression avec Python Rouvière / Книга С меки корици
common.buy 43.19 € 84.47 лв
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Книга С меки корици
common.buy 17.05 € 33.34 лв
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Книга С меки корици
common.buy 16.68 € 32.63 лв
Pays natal Dhotel / Книга С меки корици
common.buy 14.51 € 28.39 лв
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Книга С меки корици
common.buy 58.84 € 115.09 лв
Grundlagen des Zeichnens John Ruskin / Книга С твърди корици
common.buy 22.94 € 44.86 лв
Cuentos de amor, de locura y de muerte Horacio Quiroga / Книга С меки корици
common.buy 9.40 € 18.38 лв
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Книга С меки корици
common.buy 75.53 € 147.73 лв
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Книга С меки корици
common.buy 19.89 € 38.90 лв
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Книга С меки корици
common.buy 46.39 € 90.74 лв
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Книга С меки корици
common.buy 21.54 € 42.13 лв
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Книга С меки корици
common.buy 27.22 € 53.25 лв
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Книга С меки корици
common.buy 22.16 € 43.34 лв
Aggressiv Flirten Michael Wiesner / Книга С меки корици
common.buy 14.26 € 27.88 лв
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Книга С твърди корици
common.buy 21.75 € 42.53 лв
Marktwirtschaft Im Unternehmen Conrad Mauritz / Книга С меки корици
common.buy 55.85 € 109.23 лв
Grundformen der Angst Fritz Riemann / Книга С твърди корици
common.buy 22.99 € 44.96 лв
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Книга С меки корици
common.buy 100.13 € 195.83 лв

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

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

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

Пълно заглавие Formal Methods and Software Engineering
Автор Karin Breitman, Ana Cavalcanti
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 757
Баркод 9783642103728
ISBN 3642103723
Код Либристо 01655066
Издателство Springer, Berlin
Тегло 1169
Размери 155 x 235 x 30

Категории

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

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

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Книга С меки корици
common.buy 69.18 € 135.30 лв
Julissa's Reading Log Martha Day Zschock / Книга С твърди корици
common.buy 15.75 € 30.81 лв
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Книга С твърди корици
common.buy 37.40 € 73.15 лв
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Книга С меки корици
common.buy 26.91 € 52.64 лв
Typical Drama with Cloe-New School=New Life Cloe Demartino / Книга С твърди корици
common.buy 24.07 € 47.08 лв
Winter of Ice and Iron Rachel Neumeier / Книга С меки корици
common.buy 14.26 € 27.88 лв
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Книга С меки корици
common.buy 6.25 € 12.22 лв
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Книга С меки корици
common.buy 8.52 € 16.66 лв
Resurrecting Artwork MCGUIRE / Книга С меки корици
common.buy 13.12 € 25.66 лв
Hydrogeology Dassargues / Книга С твърди корици
common.buy 118.37 € 231.50 лв
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Книга С твърди корици
common.buy 180.37 € 352.77 лв
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Книга С меки корици
common.buy 8.31 € 16.26 лв
Business Result: Elementary: Class Audio CD David Grant / Аудио Аудио компактдиск
common.buy 36.89 € 72.14 лв
State Crisis in Fragile Democracies Samuel Handlin / Книга С меки корици
common.buy 48.05 € 93.97 лв
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Книга С твърди корици
common.buy 106.95 € 209.17 лв
Understanding Gangs and Gang Violence in America MORALES / Книга С меки корици
common.buy 126.79 € 247.98 лв
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Книга С меки корици
common.buy 14.82 € 28.99 лв
The Treasury of Knowledge and Library Reference Samuel Maunder / Книга С меки корици
common.buy 37.09 € 72.55 лв
Sailor's Logbook Mark L. Thompson / Книга С меки корици
common.buy 33.68 € 65.88 лв
Ethical and Professional Issues in Nursing W Tadd / Книга С меки корици
common.buy 65.10 € 127.32 лв
Pippi Longstocking Astrid Lindgren / Книга С меки корици
common.buy 10.38 € 20.30 лв
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Книга С меки корици
common.buy 199.12 € 389.45 лв
Love Wins Elizabeth Martin / E-книга Adobe ePub DRM
common.buy 4.80 € 9.39 лв
Formal Logic P. Lorenzen / Книга С меки корици
common.buy 108.45 € 212.10 лв

Вход

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

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

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

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

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