Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
.
"Sinopsis" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
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
Comprar usado
EUR 149,99
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles