Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 2018-08, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer International Publishing Dez 2015, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 13th Asian Symposium onProgramming Languages and Systems, APLAS 2015, held in Pohang, South Korea, inNovember/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. Thepapers cover a variety of foundational and practical issues in programminglanguages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models. 528 pp. Englisch.
Published by Springer International Publishing Aug 2018, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formalmethods and its interoperability with software engineering for building reliable, safe, secure, and smart systems. 216 pp. Englisch.
Published by Springer-Verlag GmbH, 2009
ISBN 10: 3642106714ISBN 13: 9783642106712
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Buchumschlag leicht geknickt, Auflage 2009 | Seiten: 358 | Sprache: Englisch.
Published by Springer, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 472.
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 200 pages. 9.25x6.10x0.49 inches. In Stock.
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New.
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 528 pages. 9.25x6.25x1.50 inches. In Stock.
Published by Springer 2015-12, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Now Publishers, 2020
ISBN 10: 1680836722ISBN 13: 9781680836721
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: Majestic Books, Hounslow, United Kingdom
Book Print on Demand
Condition: New. Print on Demand pp. 472.
Published by Springer International Publishing AG, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. Editor(s): Feng, Xinyu; Park, Sungwoo. Series: Lecture Notes in Computer Science. Num Pages: 525 pages, 133 colour illustrations, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 801. . 2015. Paperback. . . . .
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer International Publishing, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formalmethods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
Published by Springer International Publishing, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th Asian Symposium onProgramming Languages and Systems, APLAS 2015, held in Pohang, South Korea, inNovember/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. Thepapers cover a variety of foundational and practical issues in programminglanguages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.
Published by Now Publishers, 2020
ISBN 10: 1680836722ISBN 13: 9781680836721
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New.
Published by Springer International Publishing, 2018
ISBN 10: 331999932XISBN 13: 9783319999326
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers p.
Published by Springer International Publishing, 2015
ISBN 10: 3319265288ISBN 13: 9783319265285
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully r.