Gesamtpreis (1 Artikel Artikel):
Versandziel:
verifying concurrent processes using von hailpern (12 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (12)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (12)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
- Keine Print-on-Demand Angebote (9)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 6,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Befriedigend. Seiten; 9783540112051.4 Gewicht in Gramm: 500.
-
Verifying Concurrent Processes Using Temporal Logic
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1981
ISBN 10: 3540112057 ISBN 13: 9783540112051
Sprache: Englisch
Softcover. Zustand: 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.
-
Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N? 129
Anbieter: Librería La Candela, Murcia, MU, Spanien
Verkäuferbewertung 5 von 5 Sternen
EUR 7,00
Währung umrechnenEUR 14,00 für den Versand von Spanien nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorb.- 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
Verlag: Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,55
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verifying Concurrent Processes Using Temporal Logic
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,88
Währung umrechnenEUR 15,03 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,12
Währung umrechnenEUR 64,15 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 149,99
Währung umrechnenEUR 4,00 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 294,30
Währung umrechnenEUR 28,92 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good. Good. book.
-
Verifying Concurrent Processes Using Temporal Logic
Verlag: Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Sprache: Englisch
EUR 48,37
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1982, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
-
Verifying Concurrent Processes Using Temporal Logic
Verlag: Springer Berlin Heidelberg Mrz 1982, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 74,89
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
