Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Duration Calculus

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

A Formal Approach to Real-time Systems

Zhou Chaochen

M. R. Hansen

Language

English

Book Hardback

Libristo code: 01562989

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

Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Full description

Libristo code: 01562989

271 b

39 543 Ft

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

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

Paperback

16 573 Ft

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

Paperback

24 080 Ft

Der kleine Gernhardt Robert Gernhardt

Adobe ePub DRM

5 825 Ft

POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ

Book

6 470 Ft

Die vielen Farben des Autismus Thomas Girsberger

Paperback

9 505 Ft

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

Paperback

12 779 Ft

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

Paperback

3 578 Ft

Arabischer Titel ____ _____ _ _______

Paperback

9 855 Ft

Collier de La Reine Alexandre Dumas

Paperback

7 083 Ft

Feldenkrais Eli Wadler Helmut Wehren

Paperback

7 359 Ft

Old Leather, Black Moroccan, Midi, Lin Paperblanks

Diary

6 221 Ft

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

Paperback

10 923 Ft

Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel

Paperback

5 595 Ft

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

Hardback

25 028 Ft

Jekonometrika Ajzhan Ibyzhanova

Paperback

18 927 Ft

Vodní nůž Paolo Bacigalupi

Hardback

5 052 Ft

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

Paperback

13 976 Ft

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

Paperback

10 338 Ft

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

Hardback

11 070 Ft

101 psích triků pro děti Kyra Sundanceová

Paperback

2 979 Ft

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

Paperback

21 832 Ft

Reflexiones Idries Shah

Paperback

5 185 Ft

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

Paperback

12 572 Ft

Nunca comas solo KEITH FERRAZZI

Audio CD

6 645 Ft

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Duration Calculus

Author Zhou Chaochen, M. R. Hansen

Language

English

Binding Book - Hardback

Date of issue 2003

Number of pages 250

EAN 9783540408239

ISBN 3540408231

Libristo code 01562989

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

Weight 1210

Dimensions 155 x 235 x 19

You might also be interested in

Color in Anna Akhmatova's Early Poetry Alsu Shakirova

Paperback

17 656 Ft

English Writings of Hu Shih Hu Shih

Hardback

39 543 Ft

Introduction to Radiation Protection Claus Grupen

Paperback

29 002 Ft

Chicken Licken MAIRI MACKINNON

Paperback

2 892 Ft

Our Cosmic Ancestors Maurice Chatelain

Paperback

4 688 Ft

Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni

Paperback

79 570 Ft

JUST FOR THE SUMMER JIMENEZ ABBY

Paperback

8 469 Ft

Embattled Priest Jervis S Zimmerman

Hardback

11 098 Ft

Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared

Paperback

20 635 Ft

Essentials of Tissue Banking George Galea

Paperback

73 818 Ft

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

Paperback

3 841 Ft

History of Financial Accounting (RLE Accounting) J. Edwards

Paperback

25 466 Ft

Paper Boats Erndell Scott

Paperback

5 839 Ft

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

Hardback

13 843 Ft

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

Blu-ray

6 659 Ft

WORLDS WILDEST WATERS BARR CATHERINE

Hardback

7 695 Ft

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

Paperback

6 746 Ft