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
Handbuch der Metallhttenkunde
$59.99
How Firms Can Strategically Influence Open Source Communities
$54.99
Human Security and Migration in Europe's Southern Borders
$89.99
Ink (Hardcover)
$13.49
Pro Processing for Images and Computer Vision with OpenCV
$39.99
Observing and Measuring Visual Double Stars
$74.99
Problematizing Religious Freedom
$109.99
Gender, Protests and Political Change in Africa
$109.00
Methods of Signal Processing for Adaptive Antenna Arrays
$109.99
Texture In Film
$109.99
Dragon Rider: The Griffin's Feather
$6.74
International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI08)
$259.00
Handbook of Evidence-Based Therapies for Children and Adolescents
$229.00
An Introduction to Nave Set Theory and Its Applications
$59.99
Historical Development of Human Cognition
$89.00
Persuasive Technology
$54.99
Basic Principles and Techniques of Molecular Quantum Mechanics
$39.99
Emerging Modalities in Mitigation of Antimicrobial Resistance
$199.99
The Life and Works of J. C. Kapteyn
$84.99
Noch mehr Analysis
$29.99
Computability and Models
$84.99
Motivic Integration
$159.99
Statistical Analysis of Climate Series
$99.99
Time-Frequency Representations
$109.99
Intrapartum Ultrasonography for Labor Management
$84.99
From Lambda Calculus to Cybersecurity Through Program Analysis
$39.99
Windows Mobile Game Development
$39.99
Air Power and Freight
$54.99
Mimetic Learning at Work
$54.99
The EU Accession to the ECHR
$109.99
Scientific Philosophy
$69.99
New Frontiers in Regional Science
$74.99
The Attention Economy and How Media Works
$44.99
Surviving Bhopal
$39.99
The Role of Neutrinos, Strings, Gravity, and Variable Cosmological Constant in Elementary Particle P
$84.99
Local Public Finance
$179.99
Virtual, Augmented and Mixed Reality: Designing and Developing Augmented and Virtual Environments
$54.99
Ombudsmen at the Crossroads
$59.99
Konfigurierbares, echtzeitfhiges Bedienungssystem fr Steuerungen an Fertigungseinrichtungen
$69.99
Blut und Blutkrankheiten
$69.99
