ISBN: 9781848210134 - modeling and verification of real-time systems: formalisms and software tools (11 risultati)

Perfeziona la tua ricerca

  • Libri (11)

Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 203,94

    EUR 2,35 spedizione 
    Spedito in U.S.A.

    Quantità: 9 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: John Wiley and Sons, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: INDOO, Avenel, NJ, U.S.A.INDOO

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 206,37

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 238,01

    EUR 2,35 spedizione 
    Spedito in U.S.A.

    Quantità: 9 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: John Wiley & Sons, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 236,67

    EUR 9,95 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 3 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 246,32

    EUR 17,79 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 259,79

    EUR 17,79 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

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

    1848210132 / 9781848210134

    • Rilegato
    • Prima edizione

    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 278,73

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

    Quantità: 15 disponibili

    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 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. . . . . …

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: Ubiquity Trade, Miami, FL, U.S.A.Ubiquity Trade

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 296,47

    EUR 2,67 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. Brand new! Please provide a physical shipping address.

  • 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.

  • Lingua: Inglese

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

    1848210132 / 9781848210134

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 356,91

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

    Quantità: 15 disponibili

    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 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. …

  • Lingua: Inglese

    Editore: Wiley Apr 2008, 2008

    1848210132 / 9781848210134

    • Rilegato

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 362,09

    EUR 35,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Buch. Condizione: Neu. Neuware - This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. 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. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.…