Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: Springer-Verlag, Berlin, 2012
ISBN 10: 3642327583ISBN 13: 9783642327582
Da: San Francisco Book Company, Paris, Francia
Libro
Paperback. Condizione: Very good. Paperback Octavo. wraps 488 pp.
Editore: Springer, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2012
ISBN 10: 3642327583ISBN 13: 9783642327582
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro Print on Demand
Soft Cover. Condizione: new. This item is printed on demand.
Editore: Springer, 2014
ISBN 10: 3319104306ISBN 13: 9783319104300
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2011
ISBN 10: 3642198104ISBN 13: 9783642198106
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2012
ISBN 10: 3642327583ISBN 13: 9783642327582
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2020
ISBN 10: 3030557537ISBN 13: 9783030557539
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Libro
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.43.
Editore: Springer, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2012
ISBN 10: 3642198104ISBN 13: 9783642198106
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer 2014-10, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer Berlin Heidelberg 2011-03-22, Heidelberg, 2011
ISBN 10: 3642198104ISBN 13: 9783642198106
Da: Blackwell's, London, Regno Unito
Libro
paperback. Condizione: New. Language: ENG.
Soft Cover. Condizione: new.
Editore: Springer, 2011
ISBN 10: 3642198104ISBN 13: 9783642198106
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Libro
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Editore: Springer, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2012
ISBN 10: 3642327583ISBN 13: 9783642327582
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2014
ISBN 10: 3319104306ISBN 13: 9783319104300
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer International Publishing Okt 2014, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security. 300 pp. Englisch.
Editore: Springer, 2014
ISBN 10: 3319104306ISBN 13: 9783319104300
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. 418.
Editore: Springer, 2020
ISBN 10: 3030557537ISBN 13: 9783030557539
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer International Publishing Aug 2014, 2014
ISBN 10: 3319104306ISBN 13: 9783319104300
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems. 416 pp. Englisch.
Editore: Springer, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: Majestic Books, Hounslow, Regno Unito
Libro Print on Demand
Condizione: New. Print on Demand.
Editore: Springer, 2014
ISBN 10: 3319104306ISBN 13: 9783319104300
Da: Majestic Books, Hounslow, Regno Unito
Libro Print on Demand
Condizione: New. Print on Demand pp. 418 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Editore: Springer, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 2014 edition. 275 pages. 9.30x6.20x0.79 inches. In Stock.
Editore: Springer 2014-08, 2014
ISBN 10: 3319104306ISBN 13: 9783319104300
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer, 2020
ISBN 10: 3030557537ISBN 13: 9783030557539
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2012
ISBN 10: 3642327583ISBN 13: 9783642327582
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 2012 edition. 504 pages. 9.20x6.10x0.80 inches. In Stock.
Editore: Springer, 2011
ISBN 10: 3642198104ISBN 13: 9783642198106
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 464 pages. 9.30x6.10x1.00 inches. In Stock.
Editore: Springer International Publishing, 2014
ISBN 10: 3319121537ISBN 13: 9783319121536
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.
Editore: Springer International Publishing, 2014
ISBN 10: 3319104306ISBN 13: 9783319104300
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.