9781848213623 - formal methods: industrial used from model to the code (10 risultati)

Perfeziona la tua ricerca

  • Libri (10)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    184821362X / 9781848213623

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 127,71

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

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    184821362X / 9781848213623

    • 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: John Wiley and Sons, 2012

    184821362X / 9781848213623

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 133,38

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. Brand New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    184821362X / 9781848213623

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 133,95

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

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    184821362X / 9781848213623

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 151,67

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

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2012

    184821362X / 9781848213623

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 157,13

    EUR 17,53 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, 2012

    184821362X / 9781848213623

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 192,90

    EUR 2,59 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 and John Wiley & Sons Inc, 2012

    184821362X / 9781848213623

    • Rilegato

    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 185,53

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

    Quantità: 15 disponibili

    Condizione: New. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. Editor(s): Boulanger, Jean-Louis. Num Pages: 374 pages, black & white

  • Lingua: Inglese

    Editore: John Wiley & Sons, 2012

    184821362X / 9781848213623

    • Rilegato

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 178,64

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

    Quantità: Più di 20 disponibili

    Gebunden. Condizione: New. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until .

  • Lingua: Inglese

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

    184821362X / 9781848213623

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 230,11

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

    Quantità: 15 disponibili

    Condizione: New. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. Editor(s): Boulanger, Jean-Louis. Num Pages: 374 pages, black & white