Hailpern b t (8 risultati)

Autore

Perfeziona la tua ricerca

  • Libri (8)

  • Nuovo (8)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Springer, 1982

    3540112057 / 9783540112051

    • Brossura

    Da: California Books, Miami, FL, U.S.A.California Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 61,08

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Springer, 1982

    3540112057 / 9783540112051

    • Brossura

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 60,99

    EUR 13,96 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In.

  • Lingua: Inglese

    Editore: Springer 1982-03, 1982

    3540112057 / 9783540112051

    • Brossura

    Da: Chiron Media, Wallingford, Regno UnitoChiron Media

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 57,39

    EUR 18,06 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 10 disponibili

    PF. Condizione: New.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, Springer, 1982

    3540112057 / 9783540112051

    • Brossura

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

    EUR 61,71 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg, Springer Mär 1982, 1982

    3540112057 / 9783540112051

    • Brossura
    • Print on Demand

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

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

    Quantità: 2 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. 220 pp. Englisch.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer Berlin Heidelberg, 1982

    3540112057 / 9783540112051

    • Brossura
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 48,37

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

    Quantità: Più di 20 disponibili

    Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.InhaltsverzeichnisProgramming environment.- Verification.- Temporal logic.- 5. Techniques

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, Springer Mär 1982, 1982

    3540112057 / 9783540112051

    • Brossura
    • Print on Demand

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

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

    Quantità: 1 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 220 pp. Englisch.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, 1982

    3540112057 / 9783540112051

    • Brossura
    • Print on Demand

    Da: preigu, Osnabrück, Germaniapreigu

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 50,25

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

    Quantità: 5 disponibili

    Taschenbuch. Condizione: Neu. Verifying Concurrent Processes Using Temporal Logic | B. T. Hailpern | Taschenbuch | viii | Englisch | 1982 | Springer | EAN 9783540112051 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print