Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New.
Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: booksXpress, Bayonne, NJ, USA
Soft Cover. Zustand: new.
Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer-Verlag GmbH, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Buchumschlag leicht geknickt, Auflage 2009 | Seiten: 358 | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer 2018-08, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: booksXpress, Bayonne, NJ, USA
Soft Cover. Zustand: new. This item is printed on demand.
Verlag: Springer International Publishing Aug 2018, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer International Publishing Dez 2015, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: New.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: New.
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 200 pages. 9.25x6.10x0.49 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 528 pages. 9.25x6.25x1.50 inches. In Stock.
Verlag: Now Publishers, 2020
ISBN 10: 1680836722 ISBN 13: 9781680836721
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New.
Verlag: Springer International Publishing, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer International Publishing, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer 2015-12, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 472.
Verlag: Springer, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: As New. Unread book in perfect condition.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand pp. 472.
Verlag: Springer International Publishing, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: moluna, Greven, Deutschland
Zustand: 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.
Verlag: Springer International Publishing, 2018
ISBN 10: 331999932X ISBN 13: 9783319999326
Anbieter: moluna, Greven, Deutschland
Zustand: 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.
Verlag: Now Publishers Inc, 2020
ISBN 10: 1680836722 ISBN 13: 9781680836721
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 148 pages. 9.21x6.14x0.32 inches. In Stock.
Verlag: Now Publishers Inc, 2020
ISBN 10: 1680836722 ISBN 13: 9781680836721
Anbieter: moluna, Greven, Deutschland
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Examines the progress properties of concurrent objects. The book formulates each progress property in terms of contextual refinement so that, when verifying clients of the objects, concrete object implementations can be replaced with their abstractions with.
Verlag: Springer, 2015
ISBN 10: 3319265288 ISBN 13: 9783319265285
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Zustand: As New. Unread book in perfect condition.