Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Duration Calculus

Name: Duration Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562989
Price: 436.67 PLN
Availability: InStock
Author: Zhou Chaochen
ISBN: 9783540408239

A Formal Approach to Real-time Systems

Zhou Chaochen

M. R. Hansen

Język

Angielski

Książka Twarda

Kod Libristo: 01562989

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2003

Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Cały opis

Kod Libristo: 01562989

249 b

436.67 zł

Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru

Klienci kupili także

Veranderungen der Kreditvergabepraxis von Banken an mittelstandische Unternehmen Markus Schäfer

Miękka

181.69 zł

Optika a prístroje I pre UO fotograf Miriam Andrejiová Ján

Miękka

152.27 zł

Die vielen Farben des Autismus Thomas Girsberger

Miękka

103.69 zł

POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ

Książka

77.59 zł

Arabischer Titel ____ _____ _ _______

Miękka

118.24 zł

La Educación a Tiempo Completo en Curitiba y el Programa Más Educación

Miękka

264.00 zł

Der kleine Gernhardt Robert Gernhardt

Adobe ePub DRM

70.06 zł

Collier de La Reine Alexandre Dumas

Miękka

85.02 zł

Old Leather, Black Moroccan, Midi, Lin Paperblanks

Pamiętnik

67.85 zł

Zahlenzauber - Mathematik für Grundschulen - Ausgabe G für Baden-Württemberg, Hessen, Rheinland-Pfalz und Saarland - 2010 - 3. Schuljahr Bettina Betz

Miękka

131.09 zł

Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel

Miękka

61.32 zł

Jekonometrika Ajzhan Ibyzhanova

Miękka

207.59 zł

Vodní nůž Paolo Bacigalupi

Twarda

60.62 zł

Das Mysterium oder heiliges Geheimnis der wunderdemütigen Fußwaschung Jesu Christi Carl von Reifitz

Miękka

167.83 zł

Figures d'Hier Et d'Aujourd'hui (Ed.1883) Victor Fournel

Miękka

115.43 zł

Feldenkrais Eli Wadler Helmut Wehren

Miękka

50.08 zł

Русская история Наталья Майорова

Twarda

24.89 zł

Ayudantes de Instituciones Penitenciarias. Test y casos prácticos CLAVIJO GAMERO

Miękka

261.80 zł

Reflexiones Idries Shah

Miękka

62.23 zł

Kioto2 : cómo gestionar el efecto invernadero global Isabel Bermejo

Miękka

138.62 zł

Nunca comas solo KEITH FERRAZZI

CD Audio

79.70 zł

Die Principien Der Mechanik: Mathematische Untersuchungen (1901) Leo Koenigsberger

Miękka

122.16 zł

Mondo et trois autres histoires Le Clézio

Miękka

45.77 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Duration Calculus

Autor Zhou Chaochen, M. R. Hansen

Język

Angielski

Oprawa Książka - Twarda

Data wydania 2003

Liczba stron 250

EAN 9783540408239

ISBN 3540408231

Kod Libristo 01562989

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 1210

Wymiary 155 x 235 x 19

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Color in Anna Akhmatova's Early Poetry Alsu Shakirova

Miękka

211.80 zł

English Writings of Hu Shih Hu Shih

Twarda

436.67 zł

Introduction to Radiation Protection Claus Grupen

Miękka

319.62 zł

Chicken Licken MAIRI MACKINNON

Miękka

32.62 zł

Our Cosmic Ancestors Maurice Chatelain

Miękka

51.19 zł

Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni

Miękka

854.37 zł

Embattled Priest Jervis S Zimmerman

Twarda

123.87 zł

JUST FOR THE SUMMER JIMENEZ ABBY

Miękka

93.25 zł

Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared

Miękka

226.36 zł

Essentials of Tissue Banking George Galea

Miękka

815.12 zł

History of Financial Accounting (RLE Accounting) J. Edwards

Miękka

291.01 zł

Paper Boats Erndell Scott

Miękka

63.63 zł

WORLDS WILDEST WATERS BARR CATHERINE

Twarda

84.82 zł

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

Miękka

78.09 zł