Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Modular Specification and Verification of Object-Oriented Programs

Език Английски езикАнглийски език
Книга С меки корици
Книга Modular Specification and Verification of Object-Oriented Programs Peter Müller
Код Либристо: 01564071
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2002
This book presents new techniques for the formal specification and verification of object-oriented s... Цялото описание
? points 132 b
54.07 €
105.75  лв
Външен склад Изпращаме след 5-8 дни

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

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

Le Barman du Ritz Philippe Collin / Книга С меки корици
common.buy 28.78 € 56.29 лв
Imbricaciones Mancini / Книга С меки корици
common.buy 35.93 € 70.26 лв
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Книга С твърди корици
common.buy 12.02 € 23.52 лв
Wechselkröte Ana Marwan / Книга С твърди корици
common.buy 23.79 € 46.54 лв
Inspirace k řešení konfliktních situací dětí a dospívajících Jan Svoboda / Книга С меки корици
common.buy 13.51 € 26.43 лв
Villes Silvestro / Книга binding.
common.buy 8.22 € 16.08 лв
Si dieu est une femme elle est romanciere Chelsea Книга С меки корици
common.buy 17.52 € 34.27 лв
Juste un regard Harlan Coben / Книга С меки корици
common.buy 26.83 € 52.47 лв
Čepiec Katarína Kucbelová / Книга С твърди корици
common.buy 13.62 € 26.63 лв
Cours Complet Par Correspondance. Tome 15 / Книга С меки корици
common.buy 13.93 € 27.24 лв
Dictionnaire Philosophi Voltaire / Книга С меки корици
common.buy 12.38 € 24.22 лв
Griechische Palaeographie Viktor Gardthausen / Книга С меки корици
common.buy 30.99 € 60.61 лв
LEGO Ninjago. Staffel.5.2, 1 DVD Kevin Hageman / Видео DVD
common.buy 10.64 € 20.80 лв
Divadlo a iluze Zdeněk Bartoš / Книга С меки корици
common.buy 3.80 € 7.43 лв
Gesänge der Liebe Hans-Peter Kolb / Книга С твърди корици
common.buy 24.42 € 47.76 лв
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Книга С меки корици
common.buy 39.69 € 77.64 лв
Frost Thomas Bernhard / Книга С меки корици
common.buy 13.36 € 26.13 лв
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Книга С меки корици
common.buy 78.95 € 154.41 лв

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

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

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

Пълно заглавие Modular Specification and Verification of Object-Oriented Programs
Автор Peter Müller
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 298
Баркод 9783540431671
ISBN 3540431675
Код Либристо 01564071
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 970
Размери 155 x 235 x 17

Категории

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
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 > Computer architecture & logic design
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Verified Software: Theories, Tools, Experiments Natarajan Shankar / Книга С меки корици
common.buy 54.07 € 105.75 лв
Toward the Critique of Violence Peter Fenves / Книга С меки корици
common.buy 23.95 € 46.84 лв
Изгодно
Tongue Drum Songbook for Beginner Helen Winter / Печатни материали Ноти
common.buy 10.84 € 21.20 лв
Software Failure Investigation Jan Eloff / Книга С твърди корици
common.buy 118.17 € 231.12 лв
Prehistory of South America Jerry D Moore / Книга С меки корици
common.buy 54.17 € 105.95 лв
Thoughts On Science, Theology And Ethics John Wilson / Книга С меки корици
common.buy 27.44 € 53.68 лв
Blue Basin Andre Paul Goddard / Книга С меки корици
common.buy 20.61 € 40.31 лв
Dress-Up Doodles / Книга С меки корици
common.buy 6.22 € 12.16 лв
BigTime Piano, Level 4, Ragtime & Marches Nancy Faber / Книга С меки корици
common.buy 16.29 € 31.86 лв
Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms / Книга С меки корици
common.buy 51.62 € 100.97 лв
What I Think Happened Evany Rosen / Книга С меки корици
common.buy 15.58 € 30.46 лв
Thailand Philippe Benet / Книга С меки корици
common.buy 5.91 € 11.55 лв
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Книга С меки корици
common.buy 15.47 € 30.25 лв
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson / Книга С меки корици
common.buy 19.68 € 38.50 лв
After Atlas Emma Newman / Книга С меки корици
common.buy 28.16 € 55.08 лв
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Книга С меки корици
common.buy 22.46 € 43.92 лв
Sylvie and the Christmas Ghost Foxglove Lee / Книга С меки корици
common.buy 15.11 € 29.55 лв
Snohetta: Collective Intuition SN HETTA / Книга С твърди корици
common.buy 61.11 € 119.53 лв
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing / Книга С меки корици
common.buy 9.61 € 18.79 лв
All Downhill From Here Paul Waters / Книга С меки корици
common.buy 11.92 € 23.31 лв
New Theory and Practice of Transactional Analysis in Organizations Sari Van Poelje / Книга С меки корици
common.buy 44.97 € 87.96 лв
High Notes and Low Ray W Moore / Книга С меки корици
common.buy 21.58 € 42.21 лв
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Книга С меки корици
common.buy 108.25 € 211.72 лв
Scepter of Reason R. Gargarella / Книга С твърди корици
common.buy 54.07 € 105.75 лв

Вход

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

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

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

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

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