Edition
ISBN:
3540582444 /
ISBN-13:
9783540582441
Book Details
Seller
Sort
Seller Rating
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Paperback,
Good
Isabelle: a Generic Theorem Prover (Lecture Notes in Computer Science, 828)
by Paulson, Lawrence C.
1994, Springer
ISBN-13:
9783540582441
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$46.74
$84.99
Add to Cart
Add this copy of Isabelle: a Generic Theorem Prover (Lecture Notes in to cart. $46.74, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1994 by Springer.
Edition: 1994, Springer
Paperback,
Good
Details: ISBN:
3540582444
ISBN-13:
9783540582441
Edition:
1994 edition
Publisher:
Springer
Published:
1994
Language:
English
Alibris ID:
17223571715
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Paperback,
New
Isabelle: A Generic Theorem Prover
by Paulson, Lawrence C, and Nipkow, T (Contributions by)
1994, Springer
ISBN-13:
9783540582441
See Item Details ▾
Alibris
BEST
NV, USA
$51.65
$84.99
Add to Cart
Add this copy of Isabelle: A Generic Theorem Prover to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1994 by Springer.
Edition: 1994, Springer
Paperback,
New
Available Copies: 10+
Details: ISBN:
3540582444
ISBN-13:
9783540582441
Edition:
1994 edition
Publisher:
Springer
Published:
1994
Language:
English
Alibris ID:
12174063296
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 329 p. Contains: Unspecified. Lecture Notes in Computer Science, 828.
Hide Details ▴
Paperback,
New
Isabelle
by Lawrence C. Paulson
1994, Springer
ISBN-13:
9783540582441
See Item Details ▾
Ria Christie Books
BEST
Uxbridge,
MIDDLESEX,
UNITED KINGDOM
$68.59
$84.99
Add to Cart
Add this copy of Isabelle to cart. $68.59, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1994 by Springer.
Edition: 1994, Springer
Paperback,
New
Available Copies: 10+
Details: ISBN:
3540582444
ISBN-13:
9783540582441
Edition:
1994 edition
Publisher:
Springer
Published:
1994
Language:
English
Alibris ID:
18258766642
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
Paperback,
New
Isabelle: a Generic Theorem Prover (Lecture Notes in Computer Science, 828)
by Paulson, Lawrence C.
1994, Springer
ISBN-13:
9783540582441
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$78.75
Add to Cart
Add this copy of Isabelle: a Generic Theorem Prover (Lecture Notes in to cart. $78.75, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1994 by Springer.
Edition: 1994, Springer
Paperback,
New
Details: ISBN:
3540582444
ISBN-13:
9783540582441
Edition:
1994 edition
Publisher:
Springer
Published:
1994
Language:
English
Alibris ID:
17274703726
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
