Used Book Memo   AddALL Saved Search
DELETE	Asc TITLE Desc	Asc AUTHOR Desc	Asc PRICE Desc	Asc SITE Desc	Asc DEALER Desc	DESCRIPTION
Delete	Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings [Buy it!]	Sifakis, Joseph (Editor)	USD 72.54 (Sat Jun 8 03:43:51 2024)	Alibris	ShopSpell via Alibris	Berlin, Heidelberg Springer 1990 1990 ed. Trade paperback New. Trade paperback (US). Glued binding. 384 p. Lecture Notes in Computer Science, 407.

Please keep this Memo ID in case you need to restore the lost memo later:
Your Memo ID: WCHYCUNBNUNTZZWDBPFPYXUGYXRDGETWLBCTFVFE

You have 1 record in your Memo.
Use this Memo to jot down the deals you've found while you go on to look for more or better deals!