paperback. Condition: Very Good. Crease on cover*.
Condition: As New. Unread book in perfect condition.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.35
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.35
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.09
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.23
Quantity: 10 available
Add to basketPF. Condition: New.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.34
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.34
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New. pp. 276.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 74.80
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 90.93
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2012 edition. 273 pages. 9.00x6.10x0.70 inches. In Stock.
Language: German
Published by GDMB-Medienverlag / Clausthal-Zellerfeld, 2003
ISBN 10: 3935797133 ISBN 13: 9783935797139
Seller: Akademische Buchhandlung Antiquariat, Freiberg, Germany
Association Member: BOEV
First Edition
Softcover. Condition: Gut bis sehr gut. 1. Auflage. 124 S., TB , leichte Gebrauchsspuren , innen neuwertig.
Language: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 138.63
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 127.55
Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Condition: As New. Unread book in perfect condition.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: English
Published by Springer Berlin Heidelberg Mai 2006, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. 236 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg Okt 2012, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods. 276 pp. Englisch.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 276 97 Illus.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 276.
Language: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005Presents 13 revised papers and 1 work-in-progress paperDiscusses techniques from areas like theorem proving, model checking, constraint r.
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art research Fast-track conference proceedings Unique visibilityThis book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalbor.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2006, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, J.B. Metzler Okt 2012, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.