Artículos relacionados a Verifying Concurrent Processes Using Temporal Logic...
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Verifying Concurrent Processes Using Temporal Logic...
Imagen de archivo
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Publicado por
Springer-Verlag, 1982
ISBN 10: 0387112057
ISBN 13: 9780387112053
Antiguo o usado
Taschenbuch
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 183042
Cantidad disponible: 1 disponibles
Imagen de archivo
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Publicado por
Springer-Verlag, 1982
ISBN 10: 0387112057
ISBN 13: 9780387112053
Antiguo o usado
paperback
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
paperback. Condición: Good. Good. book. Nº de ref. del artículo: ERICA82903871120573
Cantidad disponible: 1 disponibles