Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods and Testing
Best Price (Coupon Required):
Buy Formal Methods and Testing for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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).
Reviews
Questions & Answers
Responsible Investment in Times of Turmoil
$129.00
Symmetries of Integro-Differential Equations
$54.99
Mining Intelligence and Knowledge Exploration
$54.99
Chinese Banking Reform
$139.99
The Warrior State
$39.99
Software Engineering, Business Continuity, and Education
$109.99
Dutch-Asiatic Trade 1620 1740
$84.99
Emerging Electromagnetic Technologies for Brain Diseases Diagnostics, Monitoring and Therapy
$109.99
Die zweitbeste Wirtschaft
$44.99
Companies of Europe 1992/93
$84.99
Applications of Time Delay Systems
$84.99
The Sailing Mind
$109.00
Decentralization and Local Development in South East Europe
$54.99
Laser Cinematography of Explosions
$54.99
Advanced Control of Turbofan Engines
$109.99
Trace Elements in Environmental History
$109.99
The Emerging Quantum
$139.99
Discrete Structural Optimization
$84.99
Design and Production of Multimedia and Simulation-based Learning Material
$84.99
Supersonic Flow and Shock Waves
$139.99
The Birth of Wuthering Heights
$109.99
Plant Transposable Elements
$219.99
Peppa Pig and the Busy Day at School by Candlewick Press
$12.99
Born to Shine: Do Good, Find Your Joy, and Build a Life You Love by Kendra Scott
$28.00
War and Liberation in France
$54.99
Konstruktive Geometrie fr Techniker
$54.99
Design, User Experience, and Usability: User Experience Design Practice
$54.99
Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements
$159.99
France and the Politics of European Economic and Monetary Union
$54.99
Sports, Society, and Technology
$139.99
Ethnographic Narratives as World Literature
$119.99
The Structure of Stuttering
$39.99
Databases Theory and Applications
$54.99
Strain Measurement in Biomechanics
$109.99
Advanced Methods for Modeling Markets
$299.00
Towards a Scalable Quantum Computing Platform in the Ultrastrong Coupling Regime
$119.00
Advanced Strategies in Control Systems with Input and Output Constraints
$169.00
Flow Visualization in Materials Processing
$109.99
Chinas Publishing Industry in the Era of Big Data
$129.99
Das ABC der modernen Logik und Semantik, Der Begriff der Erklrung und seine Spielarten
$4.99
