Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science (398))
Barringer, Howard, Banieqbal, Behnam, Pnueli, Amir
Verkauft von Mispah books, Redhill, SURRE, Vereinigtes Königreich
AbeBooks-Verkäufer seit 15. April 2021
Gebraucht - Softcover
Zustand: Gebraucht - Wie neu
Anzahl: 1 verfügbar
In den Warenkorb legen