Order Total (1 Item Items):
Shipping Destination:
Verifying Concurrent Processes Using by Hailpern (12 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (12)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (9)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
US$ 8.43
Convert currencyUS$ 36.16 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketpaperback. Condition: Befriedigend. Seiten; 9783540112051.4 Gewicht in Gramm: 500.
-
Verifying Concurrent Processes Using Temporal Logic
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1981
ISBN 10: 3540112057 ISBN 13: 9783540112051
Language: English
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1981. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1981. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
US$ 59.16
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 8.44
Convert currencyUS$ 25.74 shipping from Spain to U.S.A.Quantity: 1 available
Add to basket.- 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.
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 71.08
Convert currencyUS$ 16.27 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Verifying Concurrent Processes Using Temporal Logic
Published by Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Language: English
US$ 64.46
Convert currencyUS$ 34.75 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.
-
US$ 90.25
Convert currencyUS$ 21.04 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 180.77
Convert currencyUS$ 28.08 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
US$ 345.48
Convert currencyUS$ 33.95 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketpaperback. Condition: Good. Good. book.
-
Verifying Concurrent Processes Using Temporal Logic
Published by Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Language: English
US$ 58.30
Convert currencyUS$ 57.33 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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.- Networ.
-
Verifying Concurrent Processes Using Temporal Logic
Published by Springer Berlin Heidelberg Mrz 1982, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 90.26
Convert currencyUS$ 26.91 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: 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.
-
Verifying Concurrent Processes Using Temporal Logic
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1982, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
US$ 64.46
Convert currencyUS$ 64.36 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.
