Popular Subjects
Buy Bulk Books
600-900 books per box.
More information
Buy Books
by the Foot
Decorator collections available.
More information
Members Savings Club
Join & Save at least 5% every day
Join and be notified of "Members Only" sales and discounts. Save from 5% to 50% on all items ordered!
If you haven't already done so, sign-up and save at least 5% today.
Sign-Up Now
Help
Podcast
Listen to the Zubal brothers unload about things in the book trade that make them smile or give them the feelings that their heads may explode!
Listen Now
Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings (Lecture Notes in Computer Science, 1945)
Wolfgang Grieskamp, Thomas Santen & Bill Stoddart, Eds.
/ Springer-Verlag Telos 2000
439 pp., softcover, ex library, else text clean & binding tight. Volumes
Included: 1
ISBN: 3540411968
Subject/Keywords: computer
Item #: 400710
$5.13