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

Duration Calculus

A Formal Approach to Real-time Systems

Език Английски езикАнглийски език
Книга С твърди корици
Книга Duration Calculus Zhou Chaochen
Код Либристо: 01562989
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 2003
Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Цялото описание
? points 263 b
108.69 €
212.58  лв
Външен склад Изпращаме след 10-13 дни

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

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

Veranderungen der Kreditvergabepraxis von Banken an mittelstandische Unternehmen Markus Schäfer / Книга С меки корици
common.buy 45.41 € 88.82 лв
La Educación a Tiempo Completo en Curitiba y el Programa Más Educación / Книга С меки корици
common.buy 66.02 € 129.13 лв
Der kleine Gernhardt Robert Gernhardt / E-книга Adobe ePub DRM
common.buy 17.29 € 33.82 лв
POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ / Книга Книга
common.buy 19.05 € 37.26 лв
Die vielen Farben des Autismus Thomas Girsberger / Книга С меки корици
common.buy 26.04 € 50.94 лв
Optika a prístroje I pre UO fotograf Miriam Andrejiová Ján / Книга С меки корици
common.buy 37.75 € 73.83 лв
SOY PILGRIM (CAMPAÑA DE VERANO EDICION LIMITADA) HAYES / Книга С меки корици
common.buy 10.66 € 20.85 лв
Arabischer Titel ____ _____ _ _______ / Книга С меки корици
common.buy 29.36 € 57.42 лв
Collier de La Reine Alexandre Dumas / Книга С меки корици
common.buy 20.92 € 40.91 лв
Feldenkrais Eli Wadler Helmut Wehren / Книга С меки корици
common.buy 12.48 € 24.40 лв
Old Leather, Black Moroccan, Midi, Lin Paperblanks / Календар/тефтер Тефтер
common.buy 16.00 € 31.29 лв
Zahlenzauber - Mathematik für Grundschulen - Ausgabe G für Baden-Württemberg, Hessen, Rheinland-Pfalz und Saarland - 2010 - 3. Schuljahr Bettina Betz / Книга С меки корици
common.buy 32.36 € 63.29 лв
Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel / Книга С меки корици
common.buy 15.32 € 29.97 лв
Luxusgegenstände und Kunstwerke vom Mittelalter bis zur Gegenwart Markwart Herzog / Книга С твърди корици
common.buy 68.77 € 134.49 лв
Jekonometrika Ajzhan Ibyzhanova / Книга С меки корици
common.buy 51.88 € 101.48 лв
Vodní nůž Paolo Bacigalupi / Книга С твърди корици
common.buy 15.12 € 29.56 лв
Das Mysterium oder heiliges Geheimnis der wunderdemütigen Fußwaschung Jesu Christi Carl von Reifitz / Книга С меки корици
common.buy 41.68 € 81.52 лв
Figures d'Hier Et d'Aujourd'hui (Ed.1883) Victor Fournel / Книга С меки корици
common.buy 27.29 € 53.37 лв
Изгодно
Русская история Наталья Майорова / Книга С твърди корици
common.buy 5.85 € 11.43 лв
Ayudantes de Instituciones Penitenciarias. Test y casos prácticos CLAVIJO GAMERO / Книга С меки корици
common.buy 64.31 € 125.78 лв
Reflexiones Idries Shah / Книга С меки корици
common.buy 15.38 € 30.07 лв
Kioto2 : cómo gestionar el efecto invernadero global Isabel Bermejo / Книга С меки корици
common.buy 34.54 € 67.55 лв
Nunca comas solo KEITH FERRAZZI / Аудио Аудио компактдиск
common.buy 19.88 € 38.88 лв
Die Principien Der Mechanik: Mathematische Untersuchungen (1901) Leo Koenigsberger / Книга С меки корици
common.buy 28.84 € 56.40 лв

Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.

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

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

Пълно заглавие Duration Calculus
Автор Zhou Chaochen, M. R. Hansen
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2003
Брой страници 250
Баркод 9783540408239
ISBN 3540408231
Код Либристо 01562989
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1210
Размери 155 x 235 x 19

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 Книгата ще пристигне на адреса на получателя

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

Color in Anna Akhmatova's Early Poetry Alsu Shakirova / Книга С меки корици
common.buy 52.61 € 102.89 лв
English Writings of Hu Shih Hu Shih / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Introduction to Radiation Protection Claus Grupen / Книга С меки корици
common.buy 79.64 € 155.76 лв
Chicken Licken MAIRI MACKINNON / Книга С меки корици
common.buy 8.18 € 15.99 лв
Our Cosmic Ancestors Maurice Chatelain / Книга С меки корици
common.buy 12.06 € 23.59 лв
Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni / Книга С меки корици
common.buy 225.47 € 440.98 лв
JUST FOR THE SUMMER JIMENEZ ABBY / Книга С меки корици
common.buy 22.00 € 43.04 лв
Embattled Priest Jervis S Zimmerman / Книга С твърди корици
common.buy 29.25 € 57.22 лв
Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared / Книга С меки корици
common.buy 56.60 € 110.69 лв
Essentials of Tissue Banking George Galea / Книга С меки корици
common.buy 202.94 € 396.92 лв
Top
Big Book of Killer Su Doku Book 1 Richardson Puzzles and Games / Книга С меки корици
common.buy 9.99 € 19.54 лв
History of Financial Accounting (RLE Accounting) J. Edwards / Книга С меки корици
common.buy 72.18 € 141.18 лв
Paper Boats Erndell Scott / Книга С меки корици
common.buy 15.01 € 29.36 лв
The Pilgrimage of Grace, 1536-1537, and the Exeter Conspiracy, 1538; Volume 2 Ruth Dodds / Книга С твърди корици
common.buy 36.40 € 71.19 лв
Homeward - Finde deine Bestimmung 3D, 1 Blu-ray Michael Johnson / Видео Blu-ray
common.buy 19.67 € 38.48 лв
WORLDS WILDEST WATERS BARR CATHERINE / Книга С твърди корици
common.buy 21.12 € 41.31 лв
Special Effects Lettering and Calligraphy: A Beginner's Step-By-Step Guide to Creating Amazing Lettered Art - Explore New Styles, Colors, and Mediums Frösén / Книга С меки корици
common.buy 19.62 € 38.38 лв
Digenetic Trematodes Rafael Toledo / Книга С меки корици
common.buy 182.64 € 357.22 лв
A Spiritual Clinic J. Oswald Sanders / Книга С меки корици
common.buy 12.22 € 23.89 лв
Mayo Clinic on Healthy Aging, 2nd Edition: Add Life to Your Years and Years to Your Life Chen / Книга С твърди корици
common.buy 21.69 € 42.43 лв
Top
Rook & Rebel Kate Crew / Книга С меки корици
common.buy 11.23 € 21.97 лв
Canon EOS 70D For Dummies Julie Adair King / Книга С меки корици
common.buy 26.87 € 52.56 лв
Подготвяме
Apex Namez Naam / Книга С меки корици
common.buy 18.02 € 35.24 лв
Brighter Ideas: Level 1: Activity Book Thompso Tamzin / Книга С меки корици
common.buy 18.95 € 37.06 лв

Вход

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

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

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

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

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