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

The RPC-Memory Specification Case Study

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Systems Specification Manfred Broy
Код Либристо: 01566254
Издателство Springer, Berlin, ноември 1995
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Ortsverzeichnis 1991 Erich Bader / Книга С меки корици
common.buy 33.36 € 65.25 лв
Wunder in meinem Leben Daisy Gräfin von Arnim / Книга С меки корици
common.buy 9.15 € 17.90 лв
Myszonek pod namiotem. Myszonek Riikka Jäntti / Книга С твърди корици
common.buy 9.10 € 17.80 лв
Insegna al tuo drago il pericolo degli sconosciuti Steve Herman / Книга С твърди корици
common.buy 19.34 € 37.83 лв
Autoatlas Crete / Kreta / Печатни материали Карта
common.buy 33.21 € 64.95 лв
Rínxols d'Or Perrault / Книга Със спирала
common.buy 2.79 € 5.45 лв
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Книга С меки корици
common.buy 14.53 € 28.42 лв
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Книга С меки корици
common.buy 28.65 € 56.04 лв
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Книга С твърди корици
common.buy 51.73 € 101.17 лв
Top
Su-jok Semenoterapie Jae Woo Park / Книга С меки корици
common.buy 10.70 € 20.93 лв

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

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

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

Пълно заглавие Formal Systems Specification
Автор Manfred Broy, Stephan Merz, Katharina Spies
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1996
Брой страници 543
Баркод 9783540619840
ISBN 3540619844
Код Либристо 01566254
Издателство Springer, Berlin
Тегло 736
Размери 234 x 156 x 29

Категории

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Client–Server networking
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Molecular Biology of Bacteria Rajarshi Kumar Gaur / Книга С твърди корици
common.buy 281.99 € 551.52 лв
Granular Matter Anita Mehta / Книга С твърди корици
common.buy 162.74 € 318.30 лв
Drug Discovery Robert A. Maxwell / Книга С твърди корици
common.buy 183.64 € 359.18 лв
How to Draw Pirates Step-by-Step Guide: Best Pirate Drawing Book for You and Your Kids Andy Hopper / Книга С меки корици
common.buy 13.08 € 25.59 лв
Marketing 2.0 Gerald Corbae / Книга С твърди корици
common.buy 53.33 € 104.31 лв
France's Rhineland Policy, 1914-1924 Walter A. McDougall / Книга С твърди корици
common.buy 169.11 € 330.74 лв
Diplomacy and Ideology in Japanese-Korean Relations: From the Fifteenth to the Eighteenth Century Etsuko Hae-Jin Kang / Книга С твърди корици
common.buy 115.72 € 226.33 лв
Theoretical Perspectives on Historians' Autobiographies Jaume Aurell / Книга С твърди корици
common.buy 235.07 € 459.75 лв

Вход

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

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

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

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

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