Real-Time Systems: Formal Specification and Automatic Verification

Mina Finds
(667)
Registrado como vendedor profesional
Otros artículos del vendedor
Contactar con el vendedor
GBP 17,91
Aproximadamente20,60 EUR
o Mejor oferta
Estado:
En buen estado
“Please review all the pictures and read the description as it helps to describe the item.”
¡Corre antes de que se agote! 1 usuario tiene este artículo en seguimiento.
Este artículo se envía a través del Programa de envíos globales de eBay.
Incluye seguimiento internacional, un despacho de aduanas simplificado y ausencia de cargos adicionales a la entrega. Más información
Envío:
GBP 18,85 (aprox. 21,68 EUR) International Priority Shipping a Estados Unidos mediante Programa de envíos globales de eBay
Este importe incluye los gastos de envío especificados por el vendedor para envíos nacionales y las tarifas aplicables de envío internacional, manipulación y otros gastos. Este importe está sujeto a cambios hasta que realices el pago. Para obtener más información, consulta los términos y condiciones del Programa de envíos globales.
.
Ubicado en: Reading, Reino Unido
Tarifas de importación: 
Gratis (importe confirmado durante el pago y envío)
Este importe incluye los aranceles, los impuestos, la correduría y otras tarifas aplicables. Este importe está sujeto a cambios hasta que realices el pago. Para obtener más información, consulta los términos y condiciones del Programa de envíos globales.
Entrega:
Entrega prevista entre el mar. 4 nov. y el jue. 13 nov. a 94104
Las fechas previstas de entrega (se abre en una nueva ventana o pestaña) incluyen el tiempo de manipulación del vendedor, el código postal de origen, el código postal de destino y la hora de aceptación, y dependen del servicio de envío seleccionado y de que el pago se haya hecho efectivoel pago se haya hecho efectivo (se abre en una nueva ventana o pestaña). Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.
Incluye seguimiento internacional
Devoluciones:
No se aceptan devoluciones.
Pagos:
    Diners Club
Envío internacional y costes de importación pagados a Pitney Bowes Inc. Más informaciónMás información sobre el Programa de envíos globales de eBay

Compra con confianza

Garantía al cliente de eBay
Si no recibes el artículo que has pedido, te devolvemos el dinero. Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:135646066945
Última actualización el 20 jul 2025 16:09:34 H.EspVer todas las actualizacionesVer todas las actualizaciones

Características del artículo

Estado
En buen estado
Libro que se ha leído pero que está en buen estado. Daños mínimos en la tapa, incluidas rozaduras, pero sin roturas ni agujeros. Es posible que no incluya sobrecubierta para tapas duras. Tapa muy poco desgastada. La mayoría de las páginas están en buen estado con muy pocas arrugas o roturas. El texto subrayado a lápiz es prácticamente inexistente, no hay texto resaltado ni anotaciones en los márgenes. No faltan páginas. Consulta el anuncio del vendedor para obtener más información y la descripción de cualquier posible imperfección. Ver todas las definiciones de estadose abre en una nueva ventana o pestaña
Notas del vendedor
“Please review all the pictures and read the description as it helps to describe the item.”
Book Title
Real-Time Systems: Formal Specification and Automatic Verificatio
Genre
COMPUTERS
ISBN
9780521883337
Categoría

Acerca de este producto

Product Identifiers

Publisher
Cambridge University Press
ISBN-10
0521883334
ISBN-13
9780521883337
eBay Product ID (ePID)
87837560

Product Key Features

Number of Pages
344 Pages
Publication Name
Real-Time Systems : Formal Specification and Automatic Verification
Language
English
Publication Year
2008
Subject
Networking / General, Data Processing
Type
Textbook
Subject Area
Computers
Author
Henning Dierks, Ernst-Rüdiger Olderog
Format
Hardcover

Dimensions

Item Height
0.7 in
Item Weight
28.7 oz.
Item Length
10 in
Item Width
7.1 in

Additional Product Features

Intended Audience
Scholarly & Professional

Descripción del artículo del vendedor

Información de vendedor profesional

Acerca de este vendedor

Mina Finds

99,7% de votos positivos•1,4 mil artículos vendidos

Se unió el may 2021
Registrado como vendedor profesional
Welcome to MinaFinds – Your Preloved Treasure Trove!At MinaFinds, we specialize in high-quality preloved items, including fragrances, books, collectibles, phones, and more! From unique finds to ...
Ver más
Visitar tiendaContactar

Valoraciones detalladas sobre el vendedor

Promedio durante los últimos 12 meses
Descripción precisa
4.8
Gastos de envío razonables
4.8
Rapidez de envío
5.0
Comunicación
5.0

Votos de vendedor (660)

Todas las valoracionesselected
Positivas
Neutras
Negativas
  • n***2 (2491)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    Quick Delivery. Well Packaged. Great Price. Brilliant Seller. Great Communication.Item as described.Many thanks+++++++++++
    Royal Worcester King Size Egg Coddler Floral Woodland Spray (#135456483948)
  • t***1 (7)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    The item I bought was just as it was described and was suitable for my needs.It was competitively priced and the postage was reasonable.It arrived well packaged and protected.The seller did a good job with the parcel.
    True Vintage Padlock 2 Tour with One Key Steel Rusted (#135471776693)
  • c***2 (34)- Votos emitidos por el comprador.
    Mes pasado
    Compra verificada
    Won these earrings in an auction very pleased postage was very quick packaging was great they are exactly as described and superb value for money
    African Tribal Glass Earrings Gold Beads Ethnic (#136488359063)
Ver todos los votos