Johnson, Interactive Systems: Design, Specification, and Verification.
Johnson, Interactive Systems: Design, Specification, and Verification.
|
Johnson, Chris (Ed.): Interactive Systems: Design, Specification, and Verification. 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers. Berlin, Springer, 2001. XII, 217 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2220.
Unser Preis: EUR 12,-- |