info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Tools and Algorithms for the Construction and Analysis of Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margaria
Код Либристо: 05274560
Издателство Springer, Berlin, ноември 1995
This book presents the refereed proceedings of the Second International Workshop on Tools and Algori... Цялото описание
? points 165 b
131 лв
Външен склад в ограничено количество Изпращаме след 10-15 дни

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

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

L'Uniformes des Sapeurs-Pompiers Frederic Coune / С меки корици
common.buy 109 лв
Coming Islamic Invasion of Israel Mark Hitchcock / С меки корици
common.buy 24 лв
Pixars komplette Kurzfilm Collection, 1 DVD, 1 DVD-Video Animatio N / DVD
common.buy 23 лв
Troubled Peace Chae-Jin Lee / С меки корици
common.buy 82 лв
Le Statut de Tanger D'Apres La Convention Du 18 Decembre 1923 Edgard Rouard De Card / С меки корици
common.buy 47 лв
Thin Film Ferroelectric Materials and Devices, 1 R. Ramesh / С меки корици
common.buy 396 лв
Mobile TV: Customizing Content and Experience Aaron Marcus / С твърди корици
common.buy 257 лв
Am Strand Ian McEwan / С меки корици
common.buy 26 лв
Miss Carter's War HANCOCK SHEILA / С меки корици
common.buy 30 лв
Systems of Family Therapy Dinkmeyer / С твърди корици
common.buy 403 лв
Landlord at Lion's Head - Volume 1 William Dean Howells / С меки корици
common.buy 53 лв
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy José Mira / С меки корици
common.buy 131 лв
Information Retrieval and Mining in Distributed Environments Alessandro Soro / С твърди корици
common.buy 396 лв
Urban Life of the Song Dynasty Zhao Shiyu / С твърди корици
common.buy 244 лв
There is no rose / Ноти
common.buy 10 лв
Manual of Kidney Transplant Medical Care Arthur J. Matas / Със спирала
common.buy 76 лв

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

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

Пълно заглавие Tools and Algorithms for the Construction and Analysis of Systems
Автор Tiziana Margaria, Bernhard Steffen
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1996
Брой страници 443
Баркод 9783540610427
ISBN 3540610421
Код Либристо 05274560
Издателство Springer, Berlin
Тегло 606
Размери 156 x 234 x 23

Категории

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

Вход

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

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

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

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

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