Isbn: 9781848210134 - modeling and verification of real-time systems: formalisms and software tools (10 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (10)

Más información

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 196,65

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

    Cantidad disponible: 9 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: John Wiley and Sons, 2008

    1848210132 / 9781848210134

    • Tapa dura

    Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 198,99

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • 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 229,92

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

    Cantidad disponible: 9 disponibles

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

  • Idioma: Inglés

    Editorial: John Wiley & Sons, 2008

    1848210132 / 9781848210134

    • Tapa dura

    Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 236,67

    Envío por EUR 9,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 3 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 236,24

    Envío por EUR 17,47 
    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: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 258,74

    Envío por EUR 17,47 
    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: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Tapa dura

    Librería: Ubiquity Trade, Miami, FL, Estados Unidos de AmericaUbiquity Trade

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 286,39

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

    Cantidad disponible: Más de 20 disponibles

    Condición: New. Brand new! Please provide a physical shipping address.

  • Idioma: Inglés

    Editorial: ISTE Ltd and John Wiley & Sons Inc, 2008

    1848210132 / 9781848210134

    • Tapa dura
    • Primera edición

    Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 278,73

    Envío por EUR 9,50 
    Se envía de Irlanda a Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . . …

  • Idioma: Inglés

    Editorial: ISTE LTD, 2008

    1848210132 / 9781848210134

    • Tapa dura

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 266,24

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

    Cantidad disponible: Más de 20 disponibles

    Gebunden. Condición: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testin.

  • Idioma: Inglés

    Editorial: ISTE Ltd and John Wiley & Sons Inc, 2008

    1848210132 / 9781848210134

    • Tapa dura

    Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 344,78

    Envío por EUR 9,03 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland. …