«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Duration Calculus

A Formal Approach to Real-time Systems

Idioma InglésInglés
Libro Tapa dura
Libro Duration Calculus Zhou Chaochen
Código Libristo: 01562989
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, diciembre 2003
Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 10-13 días

Política de devolución de 30 días

Clientes que también han comprado

Veranderungen der Kreditvergabepraxis von Banken an mittelstandische Unternehmen Markus Schäfer / Libro Tapa blanda
common.buy 47.39 €
La Educación a Tiempo Completo en Curitiba y el Programa Más Educación / Libro Tapa blanda
common.buy 68.79 €
Der kleine Gernhardt Robert Gernhardt / Libro electrónico Adobe ePub DRM
common.buy 17.39 €
POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ / Libro Libro
common.buy 17.69 €
Die vielen Farben des Autismus Thomas Girsberger / Libro Tapa blanda
common.buy 27.19 €
SOY PILGRIM (CAMPAÑA DE VERANO EDICION LIMITADA) HAYES / Libro Tapa blanda
common.buy 10.19 €
Arabischer Titel ____ _____ _ _______ / Libro Tapa blanda
common.buy 29.59 €
Collier de La Reine Alexandre Dumas / Libro Tapa blanda
common.buy 20.19 €
Feldenkrais Eli Wadler Helmut Wehren / Libro Tapa blanda
common.buy 12.99 €
Old Leather, Black Moroccan, Midi, Lin Paperblanks / Calendario/Diario Diario
common.buy 16.79 €
Zahlenzauber - Mathematik für Grundschulen - Ausgabe G für Baden-Württemberg, Hessen, Rheinland-Pfalz und Saarland - 2010 - 3. Schuljahr Bettina Betz / Libro Tapa blanda
common.buy 32.49 €
Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel / Libro Tapa blanda
common.buy 15.99 €
Luxusgegenstände und Kunstwerke vom Mittelalter bis zur Gegenwart Markwart Herzog / Libro Tapa dura
common.buy 71.49 €
Jekonometrika Ajzhan Ibyzhanova / Libro Tapa blanda
common.buy 54.09 €
Vodní nůž Paolo Bacigalupi / Libro Tapa dura
common.buy 15.29 €
Das Mysterium oder heiliges Geheimnis der wunderdemütigen Fußwaschung Jesu Christi Carl von Reifitz / Libro Tapa blanda
common.buy 41.99 €
Figures d'Hier Et d'Aujourd'hui (Ed.1883) Victor Fournel / Libro Tapa blanda
common.buy 28.19 €
Económico
Русская история Наталья Майорова / Libro Tapa dura
common.buy 5.79 €
Ayudantes de Instituciones Penitenciarias. Test y casos prácticos CLAVIJO GAMERO / Libro Tapa blanda
common.buy 59.59 €
Reflexiones Idries Shah / Libro Tapa blanda
common.buy 14.09 €
Kioto2 : cómo gestionar el efecto invernadero global Isabel Bermejo / Libro Tapa blanda
common.buy 35.89 €
Nunca comas solo KEITH FERRAZZI / Audio CD de audio
common.buy 18.99 €
Die Principien Der Mechanik: Mathematische Untersuchungen (1901) Leo Koenigsberger / Libro Tapa blanda
common.buy 29.89 €
Mondo et trois autres histoires Le Clézio / Libro Tapa blanda
common.buy 10.79 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Duration Calculus
Autor Zhou Chaochen, M. R. Hansen
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2003
Número de páginas 250
EAN 9783540408239
ISBN 3540408231
Código Libristo 01562989
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1210
Dimensiones 155 x 235 x 19

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Color in Anna Akhmatova's Early Poetry Alsu Shakirova / Libro Tapa blanda
common.buy 52.99 €
English Writings of Hu Shih Hu Shih / Libro Tapa dura
common.buy 112.79 €
Introduction to Radiation Protection Claus Grupen / Libro Tapa blanda
common.buy 82.79 €
Chicken Licken MAIRI MACKINNON / Libro Tapa blanda
common.buy 8.29 €
Our Cosmic Ancestors Maurice Chatelain / Libro Tapa blanda
common.buy 12.69 €
Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni / Libro Tapa blanda
common.buy 239.09 €
JUST FOR THE SUMMER JIMENEZ ABBY / Libro Tapa blanda
common.buy 22.99 €
Embattled Priest Jervis S Zimmerman / Libro Tapa dura
common.buy 30.19 €
Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared / Libro Tapa blanda
common.buy 58.99 €
Essentials of Tissue Banking George Galea / Libro Tapa blanda
common.buy 210.69 €
Popular
Big Book of Killer Su Doku Book 1 Richardson Puzzles and Games / Libro Tapa blanda
common.buy 10.39 €
History of Financial Accounting (RLE Accounting) J. Edwards / Libro Tapa blanda
common.buy 72.59 €
Paper Boats Erndell Scott / Libro Tapa blanda
common.buy 15.79 €
The Pilgrimage of Grace, 1536-1537, and the Exeter Conspiracy, 1538; Volume 2 Ruth Dodds / Libro Tapa dura
common.buy 37.69 €
Homeward - Finde deine Bestimmung 3D, 1 Blu-ray Michael Johnson / Video Blu-ray
common.buy 19.79 €
WORLDS WILDEST WATERS BARR CATHERINE / Libro Tapa dura
common.buy 21.99 €
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 / Libro Tapa blanda
common.buy 19.39 €
Digenetic Trematodes Rafael Toledo / Libro Tapa blanda
common.buy 189.59 €
A Spiritual Clinic J. Oswald Sanders / Libro Tapa blanda
common.buy 12.69 €
Mayo Clinic on Healthy Aging, 2nd Edition: Add Life to Your Years and Years to Your Life Chen / Libro Tapa dura
common.buy 22.79 €
Popular
Rook & Rebel Kate Crew / Libro Tapa blanda
common.buy 11.79 €
Canon EOS 70D For Dummies Julie Adair King / Libro Tapa blanda
common.buy 28.19 €
Próximamente
Apex Namez Naam / Libro Tapa blanda
common.buy 18.09 €
Brighter Ideas: Level 1: Activity Book Thompso Tamzin / Libro Tapa blanda
common.buy 19.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?