Scedrov Andre (60 results)
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
HOMER, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: G. & J. CHESTERS, TAMWORTH, United KingdomG. & J. CHESTERS
Contact seller5-star sellerCondition: Used - Very good
US$ 15.42
US$ 9.44 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
- Softcover
Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United KingdomRothwell & Dunworth (ABA, ILAB)
Contact seller5-star sellerCondition: Used
US$ 13.89
US$ 18.21 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 36.35
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609)
Okada, Mitsuhiro, Pierce, Benjamin, Scedrov, Andre, Tokuda, Hideyuki, Yonezawa, Akinori
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Very good
US$ 48.39
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 10 (SALE item)* 488 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by…recipient's country.
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988 (Lecture Notes in Mathematics, 1429)
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 39.28
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 55.07
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitio…nistic logic and PROLOG programming.
Logic and Computer Science. Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme Italy June 20-28 1988.
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used - Very good
US$ 14.29
US$ 46.24 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01582 3540527346 Sprache: Englisch Gewicht in Gramm: 550.
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.56
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 67.97
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.57
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 68.52
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 75.86
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Good
US$ 73.93
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. minor wear and creasing cover warped.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.21
US$ 20.90 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.53
US$ 20.90 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.58
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.58
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.96
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.65
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.97
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 81.82
US$ 10.98 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 89.23
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 87.99
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 209.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 90.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.85
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.69
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 80.32
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Tools and Methods for Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (Editor)/ Scedrov, Andre (Editor)/ Zakharov, Viktor (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 90.19
US$ 13.49 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. revised edition. 228 pages. 9.25x6.10x0.55 inches. In Stock.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 91.92
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 95.79
US$ 10.50 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
