9781848213630 - industrial use of formal methods: formal verification (11 risultati)

Perfeziona la tua ricerca

  • Libri (11)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 130,07

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 1 disponibili

    Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno UnitoPhatpocket Limited

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Buono

    EUR 136,79

    EUR 12,43 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 3 disponibili

    Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

  • Lingua: Inglese

    Editore: ISTE Ltd., 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 145,42

    EUR 6,80 spedizione 
    Spedito da Italia a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: new.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 176,95

    EUR 14,00 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In English.

  • Lingua: Inglese

    Editore: ISTE Ltd and John Wiley & Sons Inc, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 177,33

    EUR 20,16 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Hardback. Condizione: New. New copy - Usually dispatched within 4 working days.

  • Lingua: Inglese

    Editore: John Wiley & Sons, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 191,72

    EUR 7,60 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 3 disponibili

    Condizione: New. pp. 320.

  • Lingua: Inglese

    Editore: ISTE Ltd and John Wiley & Sons Inc, 2012

    1848213638 / 9781848213630

    • Brossura

    Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 194,23

    EUR 9,50 spedizione 
    Spedito da Irlanda a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the formal technics (such proof and model-checking) on industrial examples for the transportation domain. Edito

  • Lingua: Inglese

    Editore: John Wiley & Sons, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Books Puddle, New York, NY, U.S.A.Books Puddle

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 209,03

    EUR 3,45 spedizione 
    Spedito in U.S.A.

    Quantità: 3 disponibili

    Condizione: New. pp. 320.

  • Lingua: Inglese

    Editore: Iste/Hermes Science Pub, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 209,99

    EUR 14,61 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 2 disponibili

    Hardcover. Condizione: Brand New. 1st edition. 298 pages. 9.33x6.38x0.91 inches. In Stock.

  • Lingua: Inglese

    Editore: ISTE Ltd and John Wiley & Sons Inc, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 249,42

    EUR 9,07 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the formal technics (such proof and model-checking) on industrial examples for the transportation domain. Edito

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    1848213638 / 9781848213630

    • Rilegato

    Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 234,71

    EUR 29,21 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibili

    Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.