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

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods and Software Engineering Jin Song Dong
Код Либристо: 01558768
Издателство Springer, Berlin, ноември 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Цялото описание
? points 263 b
108.69 €
212.58  лв
Външен склад Изпращаме след 5-8 дни

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

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

Un Regalo para el Alma 3 Jose Maria Ventura / Книга С меки корици
common.buy 14.81 € 28.96 лв
La sala de lo penal MUNILLA PETREÑAS / Книга С меки корици
common.buy 14.34 € 28.05 лв
Soleil d'or CLERGEOT-L / Книга С меки корици
common.buy 26.25 € 51.34 лв
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Книга С меки корици
common.buy 30.29 € 59.24 лв
Juwelen aus El Moryas Schatzhaus El Morya / Книга С меки корици
common.buy 15.79 € 30.88 лв
Wittgenstein et la question du livre Guest / Книга С меки корици
common.buy 32.83 € 64.20 лв
Mini livre à gratter - Dinosaures Duddek / Книга С меки корици
common.buy 13.10 € 25.61 лв
Aria - Tome 40 - Carnet de voyage Weyland Michel / Книга С твърди корици
common.buy 20.92 € 40.91 лв
Wise Man's Grandchild 12 Shunsuke Ogata / Книга С меки корици
common.buy 6.93 € 13.56 лв
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Книга С меки корици
common.buy 7.61 € 14.88 лв
Jméno-objev a zmizení věci Antonín Mokrejš / Книга С меки корици
common.buy 10.46 € 20.45 лв

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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

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

Пълно заглавие Formal Methods and Software Engineering
Автор Jin Song Dong, Jim Woodcock
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 682
Баркод 9783540204619
ISBN 354020461X
Код Либристо 01558768
Издателство Springer, Berlin
Тегло 966
Размери 155 x 235 x 35

Категории

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

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

Wall Jean Paul Sartre / Книга С меки корици
common.buy 12.06 € 23.59 лв
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Книга С твърди корици
common.buy 17.29 € 33.82 лв
BattleTech Legends Robert Thurston / Книга С меки корици
common.buy 13.87 € 27.13 лв
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Книга С меки корици
common.buy 17.55 € 34.33 лв
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Книга С меки корици
common.buy 24.18 € 47.29 лв
Bird House Libby Walden / Книга Дипляна
common.buy 12.68 € 24.80 лв
The Higher Power of Lucky Susan Patron / Книга С меки корици
common.buy 6.99 € 13.66 лв
Women and Leadership Around the World Cynthia Cherrey / Книга С меки корици
common.buy 62.09 € 121.43 лв
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Книга С твърди корици
common.buy 79.54 € 155.56 лв
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Книга С меки корици
common.buy 56.75 € 111.00 лв
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Книга С твърди корици
common.buy 157.89 € 308.80 лв
How We Know Harry Binswanger / Книга С твърди корици
common.buy 39.30 € 76.86 лв
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Книга С меки корици
common.buy 10.77 € 21.06 лв

Вход

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

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

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

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

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