Items related to Formal Approaches to Software Testing and Runtime Verificati...
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262) - Softcover
Synopsis
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2006
- ISBN 10 3540496998
- ISBN 13 9783540496991
- BindingPaperback
- Number of pages263
- EditorHavelund Klaus, Núnez Manuel, Rosu Grigore, Wolff Burkhart
Buy New
Learn more about this copy
US$ 50.56
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, . / Programming and Software Engineering)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # DA1411671
Quantity: 1 available
Stock Image
Formal Approaches To Software Testing And Runtime Verification
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTR-219862
Quantity: 2 available
Stock Image
Formal Approaches To Software Testing And Runtime Verification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-267761
Quantity: 1 available
Stock Image
Formal Approaches to Software Testing and Runtime Verification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 272. Seller Inventory # 26302171
Quantity: 1 available
Stock Image
Formal Approaches to Software Testing and Runtime Verification
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. pp. 272 Illus. Seller Inventory # 7545732
Quantity: 1 available
Stock Image
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020168295
Quantity: Over 20 available
Stock Image
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006; Seattle; WA; USA; August 15-16; 2006; Revised Selected Papers
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540496991_lsuk
Quantity: Over 20 available
Seller Image
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, . Papers (Lecture Notes in Computer Science) [Paperback ]
Seller: booksXpress, Bayonne, NJ, U.S.A.
Seller rating 4 out of 5 stars
Soft Cover. Condition: new. Seller Inventory # 9783540496991
Quantity: 3 available
Seller Image
Formal Approaches to Software Testing and Runtime Verification
Published by
Springer Berlin Heidelberg Dez 2006, 2006
ISBN 10: 3540496998
ISBN 13: 9783540496991
New
Taschenbuch
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 First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques. 272 pp. Englisch. Seller Inventory # 9783540496991
Quantity: 2 available
Stock Image
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August . Papers (Lecture Notes in Computer Science)
Published by
Springer-Verlag New York Inc, 2007
ISBN 10: 3540496998
ISBN 13: 9783540496991
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: NEW. 1st edition. 255 pages. 9.37x6.06x0.63 inches. In Stock. Seller Inventory # x-3540496998
Quantity: 2 available