Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 52,53
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 58,34
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 59,54
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,29
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 73,49
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,21
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,53
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 63,20
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 276.
Da: Revaluation Books, Exeter, Regno Unito
EUR 77,25
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2012 edition. 273 pages. 9.00x6.10x0.70 inches. In Stock.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Approaches to Software Testing | 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers | Wolfgang Grieskamp (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540344544 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Testing Software and Systems | 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings | Brian Nielsen (u. a.) | Taschenbuch | x | Englisch | 2012 | Springer | EAN 9783642346903 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 118,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 108,63
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Da: Buchpark, Trebbin, Germania
EUR 29,90
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | 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.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 139,75
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Tedesco
Editore: GDMB-Medienverlag / Clausthal-Zellerfeld, 2003
ISBN 10: 3935797133 ISBN 13: 9783935797139
Da: Akademische Buchhandlung Antiquariat, Freiberg, Germania
Membro dell'associazione: BOEV
Prima edizione
EUR 39,00
Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Gut bis sehr gut. 1. Auflage. 124 S., TB , leichte Gebrauchsspuren , innen neuwertig.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Mai 2006, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Okt 2012, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 77,70
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 276 97 Illus.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 78,81
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 276.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: Springer, Springer Mai 2006, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 236 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Okt 2012, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch.