Isbn: 9781639876938 - computer aided verification: emerging trends (14 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (14)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 130,52

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

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura

    Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 132,92

     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: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • 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 133,35

    Envío por EUR 2,32 
    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: MURPHY and MOORE PUB, 2023

    1639876936 / 9781639876938

    • Tapa dura

    Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 152,61

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

    Cantidad disponible: Más de 20 disponibles

    HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.

  • Idioma: Inglés

    Editorial: MURPHY and MOORE PUB, 2023

    1639876936 / 9781639876938

    • Tapa dura

    Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 145,38

    Envío por EUR 5,84 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 140,03

    Envío por EUR 17,44 
    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: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 145,37

    Envío por EUR 17,44 
    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: Murphy & Moore Pub, 2023

    1639876936 / 9781639876938

    • Tapa dura

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 175,90

    Envío por EUR 14,53 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Hardcover. Condición: Brand New. 243 pages. 10.00x7.00x0.75 inches. In Stock.

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura

    Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 201,89

    Envío por EUR 3,50 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura
    • Impresión bajo demanda

    Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 163,34

    Envío por EUR 19,94 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura
    • Impresión bajo demanda

    Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 210,94

    Envío por EUR 7,56 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. Print on Demand.

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura
    • Impresión bajo demanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 180,14

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

    Cantidad disponible: 2 disponibles

    Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems. The goal is to create a mathematical model of a system and then attempt to prove its formal properties that either helps in detecting bugs or certifies the system's correctness. The proofs might be millions of lengthy lines, thereby specifically designed computer algorithms are utilized to find and verify them. This book unravels the recent studies on computer aided verification. It consists of contributions made by international experts. The book will help the readers in keeping pace with the rapid changes and emerging trends in this field of computer science.…

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura
    • Impresión bajo demanda

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

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 210,36

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

    Cantidad disponible: 4 disponibles

    Condición: New. PRINT ON DEMAND.

  • Idioma: Inglés

    Editorial: Murphy & Moore Publishing, 2023

    1639876936 / 9781639876938

    • Tapa dura
    • Impresión bajo demanda

    Librería: preigu, Osnabrück, Alemaniapreigu

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 171,40

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

    Cantidad disponible: 5 disponibles

    Buch. Condición: Neu. Computer Aided Verification | Emerging Trends | Tyler Keating | Buch | Englisch | 2023 | Murphy & Moore Publishing | EAN 9781639876938 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.