N navet (1 risultati)

Autore: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (1)

  • Nuovo (1)
Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: ISTE LTD, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 271,69

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Gebunden. Condizione: 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.