Paperback. Condition: Good. Good condition. Pages are clean and unmarked. Little to no edgewear. Tulsa's largest used bookstore. Located on South Mingo Road since 1991. No-hassle return policy if not completely satisfied.
Condition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: New.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 55.10
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 52.88
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 56.36
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 62.09
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 69.11
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: Gut. Auflage: 2004. 548 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,5 x 3,0 cm, Taschenbuch.
Condition: Sehr gut. Auflage: 2004. 548 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,5 x 3,0 cm, Taschenbuch.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.49
Quantity: Over 20 available
Add to basketCondition: New.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 81.60
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 83.13
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 3030720187 ISBN 13: 9783030720186
Seller: Revaluation Books, Exeter, United Kingdom
US$ 91.46
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 800 pages. 9.25x6.10x1.50 inches. In Stock.
Condition: New.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Mär 2021, 2021
ISBN 10: 3030720187 ISBN 13: 9783030720186
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030217582 ISBN 13: 9783030217587
Seller: Revaluation Books, Exeter, United Kingdom
US$ 115.69
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 200 pages. 9.25x6.10x0.80 inches. In Stock.
Language: English
Published by Springer International Publishing, 2021
ISBN 10: 3030720187 ISBN 13: 9783030720186
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Condition: New.
Language: English
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 354022940X ISBN 13: 9783540229407
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 15th International Conference on Concurrency Theory (CONCUR 2004) held in the Royal Society, London, UK, from the 31st August to the 3rd September, 2004. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its applications. Interest in this topic is continually growing, as a consequence of theimportanceandubiquityofconcurrentsystemsandtheirapplications,andof the scienti c relevance of their foundations. The scope covers all areas of sem- tics, logics, and veri cation techniques for concurrent systems. Topics include concurrency-related aspects of: models of computation, semantic domains, p- cess algebras, Petri nets, event structures, real-time systems, hybrid systems, - cidability, model-checking, veri cation techniques, re nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, tools and environments for programming and veri cation. This volume starts with four invited papers from Sriram Rajamani, Steve Brookes, Bengt Jonsson and Peter O Hearn. The remaining 29 papers were - lected by the program committee from 134 submissions, a record number of submissions to CONCUR. The standard was extremely high and the selection di cult. Each submission received at least three reports, reviewed by the p- gram committee members or their subreferees. Once the initial reviews were available, we had 16 days for paper selection and con ict resolution. We would like to thank all members of the CONCUR 2004 Program Committee for their excellent work throughout the intensive selection process, together with many subreferees who assisted us in the evaluation of the submitted papers.