Scedrov Andre (55 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.07
US$ 9.23 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.58
US$ 16.48 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
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.
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$ 57.69
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
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$ 58.49
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, June 29 (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.
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.37
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.24
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.66
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: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.00
US$ 15.80 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$ 69.00
US$ 15.80 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 64.72
US$ 20.43 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. 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: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 82.15
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.04
US$ 20.43 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. 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$ 68.09
US$ 19.78 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$ 68.40
US$ 19.78 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$ 80.42
US$ 11.93 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 88.64
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 88.75
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 209.
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.01
US$ 19.78 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$ 76.01
US$ 19.78 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$ 78.45
US$ 19.78 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$ 89.95
US$ 13.19 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$ 89.86
US$ 15.80 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.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 92.96
US$ 19.78 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.60
US$ 55.66 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New.
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 UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 38.39
US$ 85.72 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.
The Journal of Symbolic Logic | Vol. 57; No. 4; December 1992 | ISSN 0022-4812
Aczel, P.; Boolos, G.; Buchholz,W.; Burgess, J.P.; Enderton, Herbert B.; Foreman, M.; Friedman, SY D.; Jager, Gerhard; Knight, Julia; Makkai, Michael; Scedrov, Andre; Shore, Richard A.; van Benthem, Johan {editors}
Published by Association for Symbolic logic, Inc.; ICSU, Illinois, 61820 1992
- Softcover
- First Edition
Seller: Attic Books, cheltenham, GLOS, United KingdomAttic Books
Contact seller5-star sellerCondition: Used - Fine
US$ 43.47
US$ 26.37 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Card Covers. Condition: Fine. First Edition. - 252 mm. Printed card covers. Illustrated. Diagrams. Logic equations. Theorems. Lemmas. Proofs. Pp. 1154-1544; viii. Includes abstracts, members, notices and errata. Very mild wear to cover and first few pages o/w fine.
Language: English
Published by Springer International Publishing, Springer International Publishing 2017
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.59
US$ 70.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with…three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
