Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
£ 16.62
Convert currencyQuantity: 1 available
Add to basketCondition: Good. 543 pp., softcover, handstamp to front free endpaper, else textually clean and tight. - 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.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 50.28
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 55.72
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Springer 13.04.2000., 2000
ISBN 10: 3540672575 ISBN 13: 9783540672579
Language: English
Seller: NEPO UG, Rüsselsheim am Main, Germany
£ 49.49
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Auflage: 2000. 408 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 23,4 x 15,5 x 2,3 cm, Taschenbuch.
Published by Springer Berlin Heidelberg, 2000
ISBN 10: 3540672575 ISBN 13: 9783540672579
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 47.65
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a loose confederation in which each event retains its own identity, with a separate program committee and independent proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for u- fying' talks on topics of interest to the whole range of ETAPS attendees.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
£ 63.71
Convert currencyQuantity: 1 available
Add to basketCondition: 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.
£ 62.32
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 53.46
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
£ 54.30
Convert currencyQuantity: 1 available
Add to basketHardcover-Großformat. Condition: Gut. 459 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Originalschutzumschlag vorhanden.In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1030.
£ 71.95
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
£ 17.56
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 390 pages. 9.25x6.25x1.00 inches. In Stock.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 64.21
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Springer Verlag, New York, 1995
ISBN 10: 3540600175 ISBN 13: 9783540600176
Language: English
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
£ 43.38
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Very Good. No Jacket. Hardcover 1995 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;933. [ix, 541 p. : ill. ; 24 cm].
£ 64.31
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Condition: New. pp. 568 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
£ 67.68
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
£ 76.80
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 568.
£ 82.80
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 568.
Paperback. Condition: Brand New. 476 pages. 9.00x7.00x1.20 inches. In Stock.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
£ 35.30
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
£ 92.34
Convert currencyQuantity: 4 available
Add to basketCondition: New. pp.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 97.62
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 3540600175 ISBN 13: 9783540600176
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 95.32
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Seller: California Books, Miami, FL, U.S.A.
£ 111.07
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 90.17
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: HPB-Emerald, Dallas, TX, U.S.A.
£ 62.45
Convert currencyQuantity: 1 available
Add to baskethardcover. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!