[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Formal Systems Specification

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Su-jok Semenoterapie Jae Woo Park / С меки корици
common.buy 15.12 лв
O podstatě reklamy Jaroslav Světlík / С твърди корици
common.buy 31.47 лв
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / С меки корици
common.buy 29.05 лв
Marketing 2.0 Gerald Corbae / С твърди корици
common.buy 128.23 лв
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / С меки корици
common.buy 55.48 лв
Molecular Biology of Bacteria Rajarshi Kumar Gaur / С твърди корици
common.buy 478.95 лв
Drug Discovery Robert A. Maxwell / С твърди корици
common.buy 388.85 лв
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / С твърди корици
common.buy 101.49 лв
Granular Matter Anita Mehta / С твърди корици
common.buy 169.90 лв
France's Rhineland Policy, 1914-1924 Walter A. McDougall / С твърди корици
common.buy 430.92 лв
Ortsverzeichnis 1991 Erich Bader / С меки корици
common.buy 66.38 лв

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.

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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