Vardi Moshe (82 results)
- Softcover
Seller: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Good
£ 4.10
£ 5.24 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: New
£ 11.92
£ 3.37 shippingShips within U.S.A.Quantity: 1 available
Condition: New. 402 pp., Paperback, brand new! still in shrink wrap. - 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.
- Softcover
Seller: PAPER CAVALIER US, Brooklyn, U.S.A.PAPER CAVALIER US
Contact seller5-star sellerCondition: Used - Good
£ 15.44
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A good reading copy. May contain markings or be a withdrawn library copy.
Language: English
Published by Springer-Verlag, Berlin, Heidelberg, New York 1995
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Good
£ 6.71
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Dust Jacket. Paperback. Fifth International Conference proceedings. Covers are a little scuffed, with two or three surface scratches. Markings and paper damage caused by removal of a label near upper inner corner of front cover. Minor wear to spine foot. Leading corners of rear cover are creased. P…age block foot is a little grubby. Binding is sound; pages are tight; contents are clear. AF. Used.
- Softcover
Seller: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, GermanyVersandbuchhandlung Kisch & Co.
Contact seller5-star sellerCondition: New
£ 2.00
£ 30.26 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. .This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Ho…uston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
- Softcover
Seller: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, GermanyChe & Chandler Versandbuchhandlung
Contact seller5-star sellerCondition: New
£ 2.66
£ 38.91 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. .This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Ho…uston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 43.18
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 43.18
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Published by Springer 2007
Series: Texts in Theoretical Computer Science. An EATCS, Book 27 of 45. Book 27 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Books From California, Simi Valley, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Fine
£ 44.27
£ 3.74 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Fine.
Language: English
Published by Springer 2007
Series: Texts in Theoretical Computer Science. An EATCS, Book 27 of 45. Book 27 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: HPB-Red, Dallas, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
£ 45.64
£ 2.81 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
£ 44.44
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 476 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
£ 48.34
£ 2.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 476.
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Lpar 2003 Alma-Ata (Kazakhstan)); Vardi, Moshe Y.; Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 50.86
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: Used
£ 46.02
£ 8.60 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 476.
- Softcover
Seller: Bookmonger.Ltd, HILLSIDE, U.S.A.Bookmonger.Ltd
Contact seller5-star sellerCondition: Used - Fine
£ 54.47
£ 3.00 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Fine. Mint condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 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
£ 50.80
£ 11.98 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
£ 50.80
£ 11.98 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
£ 47.81
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.94
£ 15.49 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
£ 47.97
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.19
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Lpar 2003 Alma-Ata (Kazakhstan)); Vardi, Moshe Y.; Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.21
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.29
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Lpar 2003 Alma-Ata (Kazakhstan)); Vardi, Moshe Y.; Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.42
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 65.50
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 388.
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Lpar 2003 Alma-Ata (Kazakhstan)); Vardi, Moshe Y.; Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 54.60
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 70.79
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 456.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 74.44
£ 1.98 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 68.40
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 6 available
Condition: New.
