Verwandte Artikel zu Verifying Concurrent Processes Using Temporal Logic...
Inhaltsangabe
.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Verifying Concurrent Processes Using Temporal Logic...
Beispielbild für diese ISBN
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
Taschenbuch. 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. Bestandsnummer des Verkäufers 183042
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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
paperback. Zustand: Good. Good. book. Bestandsnummer des Verkäufers ERICA82903871120573
Anzahl: 1 verfügbar