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

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.30 €
106.21  лв
Външен склад Изпращаме след 5-8 дни

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

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

Le Barman du Ritz Philippe Collin / Книга С меки корици
common.buy 30.04 € 58.75 лв
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Книга С твърди корици
common.buy 12.08 € 23.62 лв
Gesänge der Liebe Hans-Peter Kolb / Книга С твърди корици
common.buy 24.52 € 47.95 лв
Wechselkröte Ana Marwan / Книга С твърди корици
common.buy 24.10 € 47.14 лв
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Книга С меки корици
common.buy 39.85 € 77.94 лв
Imbricaciones Mancini / Книга С меки корици
common.buy 36.29 € 70.97 лв
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Книга С меки корици
common.buy 69.48 € 135.90 лв
Juste un regard Harlan Coben / Книга С меки корици
common.buy 28.13 € 55.02 лв
Čepiec Katarína Kucbelová / Книга С твърди корици
common.buy 13.68 € 26.75 лв
Cours Complet Par Correspondance. Tome 15 / Книга С меки корици
common.buy 13.68 € 26.75 лв
Frost Thomas Bernhard / Книга С меки корици
common.buy 13.42 € 26.24 лв

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.30 € 106.21 лв
Toward the Critique of Violence Peter Fenves / Книга С меки корици
common.buy 23.43 € 45.83 лв
Prehistory of South America Jerry D Moore / Книга С меки корици
common.buy 53.07 € 103.79 лв
What I Think Happened Evany Rosen / Книга С меки корици
common.buy 15.64 € 30.58 лв
Thoughts On Science, Theology And Ethics John Wilson / Книга С меки корици
common.buy 26.84 € 52.49 лв
Подготвяме
Dress-Up Doodles / Книга С меки корици
common.buy 5.93 € 11.60 лв
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Книга С меки корици
common.buy 15.17 € 29.68 лв
After Atlas Emma Newman / Книга С меки корици
common.buy 31.33 € 61.28 лв
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Книга С меки корици
common.buy 21.99 € 43.00 лв
Sylvie and the Christmas Ghost Foxglove Lee / Книга С меки корици
common.buy 14.81 € 28.97 лв
Snohetta: Collective Intuition SN HETTA / Книга С твърди корици
common.buy 59.73 € 116.81 лв
All Downhill From Here Paul Waters / Книга С меки корици
common.buy 11.77 € 23.01 лв
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing / Книга С меки корици
common.buy 9.39 € 18.37 лв
What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman / Книга С меки корици
common.buy 16.51 € 32.30 лв
David Hockney. My Window Hockney / Книга С твърди корици
common.buy 16.21 € 31.69 лв
Нови
TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA / Книга С меки корици
common.buy 15.74 € 30.79 лв
Penetration Testing with Raspberry Pi Aamir Lakhani / Книга С меки корици
common.buy 34.43 € 67.34 лв
High Notes and Low Ray W Moore / Книга С меки корици
common.buy 21.26 € 41.59 лв
Case Studies on Digital Government Bruce Rocheleau / Книга С твърди корици
common.buy 109.75 € 214.65 лв
One Day I Will Write About This Place Binyavanga Wainaina / Книга С меки корици
common.buy 11.51 € 22.51 лв
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Книга С меки корици
common.buy 107.22 € 209.71 лв
Scepter of Reason R. Gargarella / Книга С твърди корици
common.buy 54.30 € 106.21 лв
Nuclear Energy Nicholas Tsoulfanidis / Книга С твърди корици
common.buy 236.59 € 462.74 лв
Подготвяме
Shiver Stone Sharon Tregenza / Книга С меки корици
common.buy 8.15 € 15.94 лв

Вход

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

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

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

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

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