Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Duration Calculus

A Formal Approach to Real-time Systems

Langue AnglaisAnglais
Livre Livre relié
Livre Duration Calculus Zhou Chaochen
Code Libristo: 01562989
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, décembre 2003
Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Description détaillée
? points 263 b
107.29 € TVA incluse
Stockage externe Expédition sous 10-13 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Veranderungen der Kreditvergabepraxis von Banken an mittelstandische Unternehmen Markus Schäfer / Livre Livre de poche
common.buy 48.00 €
La Educación a Tiempo Completo en Curitiba y el Programa Más Educación / Livre Livre de poche
common.buy 65.19 €
Der kleine Gernhardt Robert Gernhardt / Livre numérique Adobe ePub DRM
common.buy 17.09 €
POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ / Livre Livre
common.buy 18.79 €
Die vielen Farben des Autismus Thomas Girsberger / Livre Livre de poche
common.buy 29.00 €
Optika a prístroje I pre UO fotograf Miriam Andrejiová Ján / Livre Livre de poche
common.buy 37.39 €
SOY PILGRIM (CAMPAÑA DE VERANO EDICION LIMITADA) HAYES / Livre Livre de poche
common.buy 10.09 €
Arabischer Titel ____ _____ _ _______ / Livre Livre de poche
common.buy 28.99 €
Collier de La Reine Alexandre Dumas / Livre Livre de poche
common.buy 20.59 €
Feldenkrais Eli Wadler Helmut Wehren / Livre Livre de poche
common.buy 13.00 €
Top
Old Leather, Black Moroccan, Midi, Lin Paperblanks / Calendrier/agenda Agenda
common.buy 16.19 €
Zahlenzauber - Mathematik für Grundschulen - Ausgabe G für Baden-Württemberg, Hessen, Rheinland-Pfalz und Saarland - 2010 - 3. Schuljahr Bettina Betz / Livre Livre de poche
common.buy 31.99 €
Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel / Livre Livre de poche
common.buy 22.39 €
Luxusgegenstände und Kunstwerke vom Mittelalter bis zur Gegenwart Markwart Herzog / Livre Livre relié
common.buy 69.00 €
Jekonometrika Ajzhan Ibyzhanova / Livre Livre de poche
common.buy 51.19 €
Vodní nůž Paolo Bacigalupi / Livre Livre relié
common.buy 14.99 €
Das Mysterium oder heiliges Geheimnis der wunderdemütigen Fußwaschung Jesu Christi Carl von Reifitz / Livre Livre de poche
common.buy 41.09 €
Figures d'Hier Et d'Aujourd'hui (Ed.1883) Victor Fournel / Livre Livre de poche
common.buy 27.69 €
101 psích triků pro děti Kyra Sundanceová / Livre Livre de poche
common.buy 7.99 €
Ayudantes de Instituciones Penitenciarias. Test y casos prácticos CLAVIJO GAMERO / Livre Livre de poche
common.buy 63.39 €
Reflexiones Idries Shah / Livre Livre de poche
common.buy 15.19 €
Kioto2 : cómo gestionar el efecto invernadero global Isabel Bermejo / Livre Livre de poche
common.buy 34.09 €
Nunca comas solo KEITH FERRAZZI / Audio CD Audio
common.buy 18.59 €
Die Principien Der Mechanik: Mathematische Untersuchungen (1901) Leo Koenigsberger / Livre Livre de poche
common.buy 29.89 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Duration Calculus
Auteur Zhou Chaochen, M. R. Hansen
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2003
Nombre de pages 250
EAN 9783540408239
ISBN 3540408231
Code Libristo 01562989
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1210
Dimensions 155 x 235 x 19

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Color in Anna Akhmatova's Early Poetry Alsu Shakirova / Livre Livre de poche
common.buy 51.99 €
English Writings of Hu Shih Hu Shih / Livre Livre relié
common.buy 107.29 €
Introduction to Radiation Protection Claus Grupen / Livre Livre de poche
common.buy 78.69 €
Chicken Licken MAIRI MACKINNON / Livre Livre de poche
common.buy 8.09 €
Our Cosmic Ancestors Maurice Chatelain / Livre Livre de poche
common.buy 14.49 €
Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni / Livre Livre de poche
common.buy 234.39 €
JUST FOR THE SUMMER JIMENEZ ABBY / Livre Livre de poche
common.buy 22.99 €
Embattled Priest Jervis S Zimmerman / Livre Livre relié
common.buy 30.19 €
Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared / Livre Livre de poche
common.buy 55.89 €
Essentials of Tissue Banking George Galea / Livre Livre de poche
common.buy 221.09 €
Top
Big Book of Killer Su Doku Book 1 Richardson Puzzles and Games / Livre Livre de poche
common.buy 10.39 €
History of Financial Accounting (RLE Accounting) J. Edwards / Livre Livre de poche
common.buy 74.09 €
Paper Boats Erndell Scott / Livre Livre de poche
common.buy 15.79 €
The Pilgrimage of Grace, 1536-1537, and the Exeter Conspiracy, 1538; Volume 2 Ruth Dodds / Livre Livre relié
common.buy 37.69 €
Homeward - Finde deine Bestimmung 3D, 1 Blu-ray Michael Johnson / Video Blu-ray
common.buy 19.39 €
WORLDS WILDEST WATERS BARR CATHERINE / Livre Livre relié
common.buy 20.89 €
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 / Livre Livre de poche
common.buy 19.29 €
Digenetic Trematodes Rafael Toledo / Livre Livre de poche
common.buy 187.89 €
A Spiritual Clinic J. Oswald Sanders / Livre Livre de poche
common.buy 12.09 €
Mayo Clinic on Healthy Aging, 2nd Edition: Add Life to Your Years and Years to Your Life Chen / Livre Livre relié
common.buy 22.79 €
Top
Rook & Rebel Kate Crew / Livre Livre de poche
common.buy 11.49 €
Canon EOS 70D For Dummies Julie Adair King / Livre Livre de poche
common.buy 28.19 €
Bientôt
Apex Namez Naam / Livre Livre de poche
common.buy 17.39 €
Brighter Ideas: Level 1: Activity Book Thompso Tamzin / Livre Livre de poche
common.buy 47.39 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?