FORMAL METHODS AND TESTING AN OUTCOME OF THE FORTEST NETWORK REVISED SELECTED PAPERS (PB 2008)
Language: English
Published by SPRINGER, 2008
- Softcover
- New
Seller: UK BOOKS STORE, London, London, United KingdomUK BOOKS STORE
AbeBooks seller since March 11, 2024
Condition: New
US$ 153.52
Quantity: 1 available
Add to basketItem description from seller
Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller Inventory # CBS 9783540789161
- Title
- FORMAL METHODS AND TESTING AN OUTCOME OF THE FORTEST NETWORK REVISED SELECTED PAPERS (PB 2008)
- Author
- HIERONS R M
- Publisher
- SPRINGER
- Publication year
- 2008
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540789162
- ISBN 13
- 9783540789161
- Edition
- International Edition
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.
UK BOOKS STORE
London, London, United Kingdom
AbeBooks seller since March 11, 2024
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 4 to 7 business days |
|---|---|---|
| First item | US$ 7.98 | US$ 13.32 |
Payment methods
Seller's business information
URBAN BOOK LIMITED
71-75 Shelton Street, Covent Garden
London, United Kingdom WC2H 9JQ