Verifying concurrent processes using par hailpern (12 résultats)

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

Affiner la recherche

  • Livres (12)

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Springer 1982

    3540112057 / 9783540112051

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

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

    Etat: Neuf

    EUR 58,50

    EUR 2,29 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 15 disponible(s)

    Etat : New.

  • 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,87

     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 : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

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

    Etat: Occasion - Comme neuf

    EUR 61,82

    EUR 2,29 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 15 disponible(s)

    Etat : As New. Unread book in perfect condition.

  • 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 60,47

    EUR 13,85 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 56,90

    EUR 17,90 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponible(s)

    PF. Etat : New.

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

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

  • Autres images

    Langue : anglais

    Edité par Springer 1982

    3540112057 / 9783540112051

    • Couverture souple

    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.

  • Langue : anglais

    Edité par Springer-Verlag 1982

    0387112057 / 9780387112053

    • Couverture souple

    Vendeur : NEPO UG, Rüsselsheim am Main, , AllemagneNEPO UG

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

    Etat: Occasion - Assez bon

    EUR 149,99

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

    Quantité disponible : 1 disponible(s)

    Taschenbuch. Etat : Gut. 208 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.

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

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

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