FORMAL METHODS AND TESTING : AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS
Language: English
Published by Springer, 2008
- Softcover
- New
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
AbeBooks seller since June 24, 2016
Condition: New
US$ 80.39
Quantity: 1 available
Add to basketItem description from seller
New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller Inventory # ABEOCT25-244532
- Title
- FORMAL METHODS AND TESTING : AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS
- Author
- ROBERT M. HIERONS,JONATHAN P. BOWEN,MARK HARMAN
- Publisher
- Springer
- Publication year
- 2008
- Condition
- Brand New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540789162
- ISBN 13
- 9783540789161
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.
Basi6 International
Irving, TX, U.S.A.
AbeBooks seller since June 24, 2016
Shipping rates within U.S.A.
| Item | 3 to 6 business days | 5 to 14 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Store description
Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!
Specialty
Educational and reference booksSeller's business information
Basi6 International LLC
1018 Camino Lago
Irving, TX U.S.A. 75039
Terms of sale
Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!
Shipping terms
All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.