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

Correct System Design

Език Английски езикАнглийски език
Книга С меки корици
Книга Correct System Design Roland Meyer
Код Либристо: 09545743
Издателство Springer International Publishing AG, август 2015
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Цялото описание
? points 164 b
127.96 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

TOP
The Human Body Richard Walker / С твърди корици
common.buy 56.17 лв
Dark Nights: Metal Scott Snyder / С меки корици
common.buy 34.73 лв
Teenage Mutant Ninja Turtles: The IDW Collection Volume 1 Tom Waltz / С твърди корици
common.buy 96.65 лв
Longman Dictionary of Language Teaching and Applied Linguistics Richard W. Schmidt / С твърди корици
common.buy 464.05 лв
Professional Mobile Application Development Jeff McWherter / С меки корици
common.buy 76.71 лв
Software System Design Methods Josef K. Skwirzynski / С меки корици
common.buy 252.31 лв
Reclaiming Caring in Teaching and Teacher Education Lisa S. Goldstein / С меки корици
common.buy 85.57 лв
Ultima Amante Del Generalisimo Carlos Perez Ariza / С меки корици
common.buy 34.63 лв
Shadow of Rhiannon Sara Pope - Ramsey / С меки корици
common.buy 42.08 лв
Modern Societies Stephen K Sanderson / С меки корици
common.buy 151.22 лв
Mystical "Beatles" Dean Carter / С твърди корици
common.buy 38.75 лв

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst- Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst- Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

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

Пълно заглавие Correct System Design
Автор Roland Meyer, André Platzer, Heike Wehrheim
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 279
Баркод 9783319235059
ISBN 3319235052
Код Либристо 09545743
Издателство Springer International Publishing AG
Тегло 4453
Размери 155 x 235 x 14

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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