Verifying concurrent processes using (9 résultats)

Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (9)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Springer, 1982

    3540112057 / 9783540112051

    • Couverture souple

    Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 60,78

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Springer, 1982

    3540112057 / 9783540112051

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 61,12

    EUR 13,99 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par Springer 1982-03, 1982

    3540112057 / 9783540112051

    • Couverture souple

    Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 57,51

    EUR 18,09 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponible(s)

    PF. Etat : New.

  • Autres images

    Langue : anglais

    Edité par Springer, Springer, 1982

    3540112057 / 9783540112051

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 53,49

    EUR 61,71 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

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

    • Couverture souple

    Vendeur : Librería La Candela, Murcia, MU, EspagneLibrería La Candela

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion

    EUR 5,00

    EUR 40,00 expédition 
    Expédition depuis Espagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Ajouter au panier

    .- Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VIII- 208 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. . . ISBN 10: 3540112057. Informática.

  • Autres images

    Langue : anglais

    Edité par Springer Berlin Heidelberg, Springer Mär 1982, 1982

    3540112057 / 9783540112051

    • Couverture souple
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 53,49

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Taschenbuch. Etat : 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.

  • Autres images

    Langue : anglais

    Edité par Springer Berlin Heidelberg, 1982

    3540112057 / 9783540112051

    • Couverture souple
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 48,37

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : 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.- Ne…

  • Autres images

    Langue : anglais

    Edité par Springer, Springer Mär 1982, 1982

    3540112057 / 9783540112051

    • Couverture souple
    • impression à la demande

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 53,49

    EUR 60,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Taschenbuch. Etat : 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.

  • Autres images

    Langue : anglais

    Edité par Springer, 1982

    3540112057 / 9783540112051

    • Couverture souple
    • impression à la demande

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 50,25

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponible(s)

    Taschenbuch. Etat : 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 on D…