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

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods for Components and Objects Frank S. de Boer
Код Либристо: 01559742
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2004
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Business Integration Mit Sap-Loesungen Andreas Hufgard / Книга С твърди корици
common.buy 82.47 € 161.30 лв
Eficacia de la coordinación de la ayuda: percepción de los operadores de ayuda / Книга С меки корици
common.buy 47.16 € 92.24 лв
Poche Visuel Word Excel PowerPoint Access Outlook 2010 Maxi volume Kate Shoup / Книга С меки корици
common.buy 26.30 € 51.43 лв
Puzzle 1000 CherryPazzi Her Majesty 31292 / Игра/играчка Пъзел
common.buy 9.42 € 18.42 лв
Gra Assassins Creed Brotherhood of Venice / Книга binding.
common.buy 141.18 € 276.13 лв
Chytré karty - Anglličtina výukový kalendář / Книга Със спирала
common.buy 8.54 € 16.70 лв
Schneewittchen und die sieben Zwerge Iain Botterill / Книга С твърди корици
common.buy 22.78 € 44.55 лв
Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD / Книга С меки корици
common.buy 27.95 € 54.67 лв
PARAJA MOHANTY / Книга С меки корици
common.buy 28.94 € 56.60 лв
Bons baisers de l'île Legrand / Книга С меки корици
common.buy 14.28 € 27.94 лв
SUITE 1600 CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES JOHANN CHRISTOPH PEZ Книга binding.
common.buy 24.38 € 47.68 лв
Aventures sonores / Книга С твърди корици
common.buy 6.67 € 13.05 лв
Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd / Книга С меки корици
common.buy 12.89 € 25.20 лв
Shiloh Dusty Rhodes Аудиокнига MP3
common.buy 26.45 € 51.74 лв
¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE / Книга С меки корици
common.buy 14.23 € 27.84 лв
&#536;tiin&#538;a Revolu&#538;iei Autentice &#536;i Pa&#536;nice Stefan Dumitrescu / Книга С меки корици
common.buy 47.16 € 92.24 лв
Die Globale Herausforderung Gerhard Preyer / Книга С меки корици
common.buy 38.00 € 74.32 лв
Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns / Книга С меки корици
common.buy 89.46 € 174.97 лв
Ghost Robert Harris / Книга С меки корици
common.buy 12.47 € 24.39 лв
Imperialkriege von 1500 bis heute Tanja Bührer / Книга С твърди корици
common.buy 141.86 € 277.45 лв
UEberschuldungsstatus und die Rolle kapitalersetzender Darlehen Philip Eugen Deubner / Книга С меки корици
common.buy 18.12 € 35.43 лв
Grundlagen des Ertragsteuerrechts Marina Wilgen / Книга С меки корици
common.buy 26.56 € 51.94 лв
Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann / Книга С меки корици
common.buy 17.13 € 33.51 лв
Paul Johann Anselm Feuerbach Gustav Radbruch / Книга С меки корици
common.buy 55.96 € 109.46 лв

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability.This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

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

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

Пълно заглавие Formal Methods for Components and Objects
Автор Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 371
Баркод 9783540229421
ISBN 3540229426
Код Либристо 01559742
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1200
Размери 155 x 235 x 21

Категории

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

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

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Книга С твърди корици
common.buy 357.97 € 700.12 лв
Avery Lindsay Anderson / Книга С меки корици
common.buy 14.91 € 29.15 лв
Close to Home Jeremy Asher / Книга С меки корици
common.buy 10.35 € 20.24 лв
Promise of Moonstone Mrs Pat Engebrecht / Книга С меки корици
common.buy 9.88 € 19.33 лв
Universal Dictionary of the Marine William Falconer / Книга С меки корици
common.buy 29.35 € 57.41 лв
Value Creation through Engineering Excellence Yufeng Zhang / Книга С твърди корици
common.buy 179.08 € 350.26 лв
Yellowstone, The; 1954 Rocky Mountain College / Книга С меки корици
common.buy 16.56 € 32.39 лв
Lady Jayne Disappears Joanna Davidson Politano / Книга С меки корици
common.buy 19.36 € 37.86 лв
Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey / Книга С твърди корици
common.buy 38.31 € 74.92 лв
The Life of Lyman Trumbull Horace White / Книга С меки корици
common.buy 10.35 € 20.24 лв
Doing Economics Marc F. Bellemare / Книга С меки корици
common.buy 31.58 € 61.76 лв
GED Study Guide 2022 All Subjects - GED Prep Book Secrets, 3 Full-Length Practice Tests, Step-by-Step Review Video Tutorials: [Certified Content Align / Книга С меки корици
common.buy 31.06 € 60.75 лв
Brinley's Reading Log Martha Day Zschock / Книга С меки корици
common.buy 8.38 € 16.39 лв
An Accidental Journalist: The Adventures of Edmund Stevens, 1934-1945 Cheryl Heckler / Книга С твърди корици
common.buy 53.48 € 104.59 лв
Cat and Mouse Günter Grass / Книга С меки корици
common.buy 12.32 € 24.09 лв
Vampire Armand Anne Rice / E-книга Adobe ePub DRM
common.buy 10.40 € 20.34 лв
German Literature, History and the Nation Christian Emden / Книга С меки корици
common.buy 103.49 € 202.41 лв
Contested Antiquity Alexandra Bounia / Книга С твърди корици
common.buy 120.37 € 235.43 лв
What Every Singer Should Know (1910) Millie Ryan / Книга С меки корици
common.buy 18.84 € 36.85 лв
The Little Brown House On The Albany Road (1915) George Sheldon / Книга С меки корици
common.buy 20.29 € 39.68 лв
Cross Stitch Graph Paper: 14 Lines Per Inch, Graph Paper for Embroidery and Needlework, 8.5''x11'', 100 Sheets, Burgundy Cover Graphyco Publishing / Книга С меки корици
common.buy 7.66 € 14.98 лв
The Courtship of Morrice Buckler A E W Mason / Книга С меки корици
common.buy 12.16 € 23.79 лв
Foremost Jody Hedlund / Книга С меки корици
common.buy 12.78 € 25.00 лв
The Language of Heresy in Late Medieval English Literature Erin K. Wagner / Книга С твърди корици
common.buy 141.55 € 276.84 лв

Вход

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

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

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

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

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