Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Duration Calculus

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

A Formal Approach to Real-time Systems

Zhou Chaochen

M. R. Hansen

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01562989

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2003

Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Vollständige Beschreibung

Libristo-Code: 01562989

222 b

90.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

48.00 €

Arabischer Titel ____ _____ _ _______

Broschur

23.19 €

Der kleine Gernhardt Robert Gernhardt

Adobe ePub DRM

13.79 €

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

Broschur

28.69 €

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

Broschur

54.29 €

Reakcje. Prywatne życie atomów Peter Atkins

Broschur

15.69 €

POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ

Buch

15.39 €

Die vielen Farben des Autismus Thomas Girsberger

Broschur

29.00 €

SOY PILGRIM (CAMPAÑA DE VERANO EDICION LIMITADA) HAYES

Broschur

8.89 €

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

Broschur

32.79 €

Y Tortsh Jon Roberts

Broschur

9.49 €

Feldenkrais Eli Wadler Helmut Wehren

Broschur

13.00 €

Old Leather, Black Moroccan, Midi, Lin Paperblanks

Terminbuch

12.29 €

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

Broschur

26.29 €

Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel

Broschur

15.99 €

Jane Eyre Charlotte Brontë

Hardcover

7.95 €

Luxusgegenstände und Kunstwerke vom Mittelalter bis zur Gegenwart Markwart Herzog

Hardcover

69.00 €

Jekonometrika Ajzhan Ibyzhanova

Broschur

42.69 €

Vodní nůž Paolo Bacigalupi

Hardcover

12.79 €

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

Broschur

39.00 €

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

Broschur

22.59 €

Collier de La Reine Alexandre Dumas

Broschur

16.09 €

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

Broschur

51.39 €

Reflexiones Idries Shah

Broschur

11.69 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Duration Calculus

Autor Zhou Chaochen, M. R. Hansen

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2003

Anzahl der Seiten 250

EAN 9783540408239

ISBN 3540408231

Libristo-Code 01562989

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

Gewicht 1210

Abmessungen 155 x 235 x 19

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Color in Anna Akhmatova's Early Poetry Alsu Shakirova

Broschur

41.59 €

English Writings of Hu Shih Hu Shih

Hardcover

90.79 €

Introduction to Radiation Protection Claus Grupen

Broschur

66.29 €

Chicken Licken MAIRI MACKINNON

Broschur

6.59 €

Our Cosmic Ancestors Maurice Chatelain

Broschur

12.59 €

Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni

Broschur

187.49 €

JUST FOR THE SUMMER JIMENEZ ABBY

Broschur

17.99 €

Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared

Broschur

46.59 €

Essentials of Tissue Banking George Galea

Broschur

179.69 €

History of Financial Accounting (RLE Accounting) J. Edwards

Broschur

63.49 €

Paper Boats Erndell Scott

Broschur

12.09 €

WORLDS WILDEST WATERS BARR CATHERINE

Hardcover

17.99 €

Digenetic Trematodes Rafael Toledo

Broschur

153.69 €

The Hidden Blade: A Prequel to My Beautiful Enemy Sherry Thomas

Broschur

12.39 €

Martin Parr: Beach Therapy Martin Parr

Hardcover

27.09 €

A Spiritual Clinic J. Oswald Sanders

Broschur

10.19 €

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

Broschur

14.69 €

Homeward - Finde deine Bestimmung 3D, 1 Blu-ray Michael Johnson

Blu-ray

16.09 €

Mayo Clinic on Healthy Aging, 2nd Edition: Add Life to Your Years and Years to Your Life Chen

Hardcover

17.39 €

The Pilgrimage of Grace, 1536-1537, and the Exeter Conspiracy, 1538; Volume 2 Ruth Dodds

Hardcover

30.69 €

Do You Know?: Dinosaurs and the Prehistoric World Pascale Hedelin

Hardcover

10.89 €

Big Book of Killer Su Doku Book 1 Richardson Puzzles and Games

Broschur

8.09 €

Strength Training Diet & Nutrition : 7 Key Things To Create The Right Strength Training Diet Plan For You Jason Scotts

Adobe ePub DRM

3.59 €

Ruckers Grant O´Brien

Broschur

56.99 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Duration Calculus

A Formal Approach to Real-time Systems

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Duration Calculus

A Formal Approach to Real-time Systems

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!