Items related to Formal Methods and Testing: An Outcome of the FORTEST...
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949) - Softcover
Synopsis
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2008
- ISBN 10 3540789162
- ISBN 13 9783540789161
- BindingPaperback
- LanguageEnglish
- Number of pages383
- EditorHierons Robert M., Bowen Jonathan P., Harman Mark
Search results for Formal Methods and Testing: An Outcome of the FORTEST...
Stock Image
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / 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. Text block clean and unmarked. Tight binding. Seller Inventory # 141216085
Quantity: 1 available
Stock Image
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-C-081-00891
Quantity: 1 available
Stock Image
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020177129
Quantity: Over 20 available
Stock Image
Formal Methods And Testing
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 # ABNR-156736
Quantity: 1 available
Stock Image
Formal Methods And Testing
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-341844
Quantity: 1 available
Stock Image
Formal Methods and Testing
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 388. Seller Inventory # 26294831
Quantity: 1 available
Stock Image
FORMAL METHODS AND TESTING : AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS
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-270861
Quantity: 1 available
Stock Image
Formal Methods and Testing
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 388 Illus. Seller Inventory # 7585904
Quantity: 1 available
Stock Image
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers
Published by
Springer Berlin Heidelberg, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2008 | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 4355884/12
Quantity: 1 available
Stock Image
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540789161_new
Quantity: Over 20 available