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
Verified Software. Theories, Tools, and Experiments
Best Price (Coupon Required):
Buy Verified Software. Theories, Tools, and Experiments 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 volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Reviews
Questions & Answers
Algebra and Operator Theory
$109.99
Machine Learning and Knowledge Discovery in Databases
$39.99
FBL Functional Kinetics praktisch angewandt
$49.99
Die Internationale Politische konomie der Weltfinanzkrise
$39.99
Online-Kommunikationsverhalten von Multiplikatoren
$69.99
The Plays of W. B. Yeats
$34.99
Teaching and Learning Mathematics in Multilingual Classrooms
$39.99
Wavelet Basics
$109.99
Bewegte Bergwelt
$39.99
Rechenmethoden des Leichtbaus
$59.99
Motion, Symmetry & Spectroscopy of Chiral Nanostructures
$169.99
Integrated Region-Based Image Retrieval
$84.99
Environmentally Improved Production Processes and Products: An Introduction
$109.99
Document Analysis Systems
$79.99
Publizistik als autopoietisches System
$69.99
Contemporary Trends in European Cooperative Banking
$199.99
Group-Theoretical Methods for Integration of Nonlinear Dynamical Systems
$39.99
Treibhauseffekt der Atmosphre: Neue Fakten und Perspektiven. Die Chemie des antarktischen Ozonlochs
$59.99
Praxis des internationalen Marketing
$59.99
Hirsutism
$84.99
The Science and Development of TransportZIRP 2021
$159.99
Inter-Municipal Cooperation in Europe
$159.99
The Cucumber Genome
$199.99
100 Rezepte fr Turbo Pascal
$69.95
Cancer in Adolescents and Young Adults
$219.00
National Monopoly to Successful Multinational: the case of Enel
$109.99
Trauma und Resilienz in Beratung und Therapie
$17.99
Building Life-cycle Management. Information Systems and Technologies
$249.99
Numerical Methods for Fractional Differentiation
$109.00
Condenser Capacities and Symmetrization in Geometric Function Theory
$84.99
Adaptive Digital Circuits for Power-Performance Range beyond Wide Voltage Scaling
$99.99
550 Keywords Bankenaufsichtsrecht
$29.99
Advances in Bioinformatics and Computational Biology
$69.99
Leitfaden fr den Unterricht in der Stereometrie mit den Elementen der Projektionslehre
$49.99
Constructing Identities at Work
$39.99
Advanced Computational Methods for Knowledge Engineering
$169.99
Splat the Cat Sings Flat
$3.71
Inclusive Education and the Issue of Change
$54.99
Body Image, Eating, and Weight
$199.99
Responsible Innovation
$59.99
