[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Formal Methods and Software Engineering

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 324 b
252.48 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Pippi Longstocking Astrid Lindgren / С меки корици
common.buy 22.36 лв
Cuentos de amor, de locura y de muerte Horacio Quiroga / С меки корици
common.buy 21.05 лв
Aggressiv Flirten Michael Wiesner / С меки корици
common.buy 30.52 лв
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / С твърди корици
common.buy 78.68 лв
Financial Reform in Central and Eastern Europe Zdenek Drabek / С твърди корици
common.buy 388.30 лв
Grenzen gestalten, Bildbar-KartenSet. Tl.2 Margit Kühne-Eisendle / Лист
common.buy 79.28 лв
Marktwirtschaft Im Unternehmen Conrad Mauritz / С меки корици
common.buy 139.33 лв
Curso de derecho administrativo laboral Ángel Blasco Pellicer / С меки корици
common.buy 93.49 лв
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / С твърди корици
common.buy 99.84 лв
Grundformen der Angst Fritz Riemann / С твърди корици
common.buy 45.53 лв
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / С меки корици
common.buy 196.87 лв
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / С меки корици
common.buy 56.82 лв
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / С меки корици
common.buy 37.07 лв
State Crisis in Fragile Democracies Samuel Handlin / С меки корици
common.buy 95.81 лв
Lonely Dead Michael Marshall / С меки корици
common.buy 25.18 лв

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.

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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