Delete |
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science) [Buy it!] | Sifakis, Joseph | USD 4.55 (Fri Jun 7 10:53:12 2024) | AbebooksDE | medimops | ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. [Berlin, Germany] [Publication Year: 1990] |