9783540408239 - duration calculus: a formal approach to real-time systems (monographs in theoretical computer science. an eatcs series) de zhou, chaochen; hansen, michael (15 resultados)

ISBN

Filtrar la búsqueda

  • Libros (15)

a

Intervalo de precios personalizado (EUR)

a

    • Idioma: Inglés

      Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K 2004

      3540408231 / 9783540408239

      • Tapa dura

      Librería: Ammareal, Morangis, , FranciaAmmareal

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Excelente

      EUR 6,17

      Envío por EUR 16,50 
      Se envía de Francia a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizatio

    • Idioma: Inglés

      Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: Ammareal, Morangis, , FranciaAmmareal

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Excelente

      EUR 6,17

      Envío por EUR 16,50 
      Se envía de Francia a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2003.

    • Idioma: Inglés

      Editorial: Springer 2004

      3540408231 / 9783540408239

      • Tapa dura

      Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Aceptable

      EUR 64,37

      Envío por EUR 15,74 
      Se envía de Reino Unido a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9783540408239.

    • Idioma: Inglés

      Editorial: Springer 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 115,49

      Envío por EUR 13,86 
      Se envía de Reino Unido a Estados Unidos de America

      Cantidad disponible: Más de 20 disponibles

      Condición: New. In.

    • Idioma: Inglés

      Editorial: Springer 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 115,48

      Envío por EUR 17,36 
      Se envía de Reino Unido a Estados Unidos de America

      Cantidad disponible: Más de 20 disponibles

      Condición: New.

    • Idioma: Inglés

      Editorial: Springer 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 131,22

      Envío por EUR 2,28 
      Se envía dentro de Estados Unidos de America

      Cantidad disponible: Más de 20 disponibles

      Condición: New.

    • Idioma: Inglés

      Editorial: Springer, Springer Vieweg 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 106,99

      Envío por EUR 62,83 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 reasoni

    • Idioma: Inglés

      Editorial: Springer 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Como Nuevo

      EUR 174,03

      Envío por EUR 17,36 
      Se envía de Reino Unido a Estados Unidos de America

      Cantidad disponible: Más de 20 disponibles

      Condición: As New. Unread book in perfect condition.

    • Idioma: Inglés

      Editorial: Springer 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

      Vendedor de 4 estrellas
      Contactar con el vendedor

      Condición: Usado - Como Nuevo

      EUR 164,50

      Envío por EUR 28,93 
      Se envía de Reino Unido a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

    • Idioma: Inglés

      Editorial: Springer 2003

      3540408231 / 9783540408239

      • Tapa dura

      Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Como Nuevo

      EUR 197,39

      Envío por EUR 2,28 
      Se envía dentro de Estados Unidos de America

      Cantidad disponible: Más de 20 disponibles

      Condición: As New. Unread book in perfect condition.

    • Idioma: Inglés

      Editorial: SPRINGER 2004

      3540408231 / 9783540408239

      • Tapa dura
      • Edición internacional

      Librería: UK BOOKS STORE, London, LONDO, Reino UnidoUK BOOKS STORE

      Vendedor de 5 estrellas
      Contactar con el vendedor
      Edición internacional

      Condición: Nuevo

      EUR 224,41

      Envío por EUR 3,46 
      Se envía de Reino Unido a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if th

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Dez 2003 2003

      3540408231 / 9783540408239

      • Tapa dura
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 106,99

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbe

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg 2003

      3540408231 / 9783540408239

      • Tapa dura
      • Impresión bajo demanda

      Librería: moluna, Greven, , Alemaniamoluna

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 92,27

      Envío por EUR 48,99 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: Más de 20 disponibles

      Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comprehensive introduction to interval logic and duration calculus, for modelling, analysing and verifying real-time systemsCovers theory (completeness, decidability, undecidability, model-checking) results, as well a

    • Más imágenes

      Idioma: Inglés

      Editorial: Springer 2003

      3540408231 / 9783540408239

      • Tapa dura
      • Impresión bajo demanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 95,70

      Envío por EUR 70,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 5 disponibles

      Buch. Condición: Neu. Duration Calculus | A Formal Approach to Real-Time Systems | Chaochen Zhou (u. a.) | Buch | x | Englisch | 2003 | Springer | EAN 9783540408239 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on

    • Idioma: Inglés

      Editorial: Springer, Springer Vieweg Dez 2003 2003

      3540408231 / 9783540408239

      • Tapa dura
      • Impresión bajo demanda

      Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 106,99

      Envío por EUR 60,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers a