Order Total (1 Item Items):
Shipping Destination:
Weise Carsten (28 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (28)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (21)
- As New, Fine or Near Fine (7)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (28)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (12)
- Not Print on Demand (19)
Language (2)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
-
Condition: As New. Unread book in perfect condition.
-
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.39
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3997)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.39
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.06
US$ 20.84 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
-
Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.49
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Testing Software and Systems : 24th Ifip Wg 6.1 International Conference, Ictss 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.38
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. pp. 276.
-
Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.02
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 90.99
US$ 13.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2012 edition. 273 pages. 9.00x6.10x0.70 inches. In Stock.
-
Sprengstofflose Festgesteinsgewinnung im Tagebau und Bauwesen - SR der GDMB Heft 98
Language: German
Published by GDMB-Medienverlag / Clausthal-Zellerfeld, 2003
ISBN 10: 3935797133 ISBN 13: 9783935797139
Seller: Akademische Buchhandlung Antiquariat, Freiberg, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
First Edition
Softcover. Condition: Gut bis sehr gut. 1. Auflage. 124 S., TB , leichte Gebrauchsspuren , innen neuwertig.
-
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.
-
Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
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.
-
Taschenbuch. Condition: 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.
-
Testing Software and Systems : 24th Ifip Wg 6.1 International Conference, Ictss 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 138.56
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 127.49
US$ 33.63 shipping
Ships from United Kingdom to U.S.A.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 | 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.
-
Condition: new. Questo è un articolo print on demand.
-
Testing Software and Systems
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
Seller rating 5 out of 5 stars
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.
-
Formal Approaches to Software Testing
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
Seller rating 5 out of 5 stars
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.
-
Condition: New. Print on Demand pp. 276 97 Illus.
-
Condition: New. PRINT ON DEMAND pp. 276.
-
Formal Approaches to Software Testing
Language: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
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.
-
Testing Software and Systems
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
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.
-
Testing Software and Systems
Language: English
Published by Springer, Springer Okt 2012, 2012
ISBN 10: 3642346901 ISBN 13: 9783642346903
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
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 KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch.
-
Formal Approaches to Software Testing
Language: English
Published by Springer, Springer Mai 2006, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
