Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987 Proceedings (Lecture Notes in Computer Science 398)
Barringer, H.; Banieqbal, H. & Pnueli, A. (eds.)
Verkauft von PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
AbeBooks-Verkäufer seit 6. Oktober 2003
Gebraucht - Softcover
Zustand: Gebraucht - Gut
Anzahl: 1 verfügbar
In den Warenkorb legen