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: Theorie, Tools, Experiments
Best Price (Coupon Required):
Buy Verified Software: Theorie, Tools, 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 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
Reviews
Questions & Answers
Jack the Ripper in Film and Culture
$54.99
Social Movement Campaigns on EU Policy
$39.99
Bau groer Elektrizittswerke
$59.99
Torsionsschwingungen in der Verbrennungskraftmaschine
$54.99
Substrate Integrated Suspended Line Antenna and Arrays
$119.00
Values and Valuing in Mathematics Education
$59.99
Modern Stereotactic Neurosurgery
$84.99
Triebkraft Evolution - Vielfalt, Wandel, Menschwerdung
$17.99
Applications of Data-Centric Science to Social Design
$129.99
Friction Stir Welding and Processing
$179.99
Wolfram von Eschenbach
$24.99
Strength and Compassion in Kidney Failure
$169.99
Bautechnik I
$34.99
The Datacenter as a Computer
$29.87
Environmental Health Impacts of Transport and Mobility
$169.00
The Real Projective Plane
$89.95
Einfhrung in die Bcherkunde zur deutschen Literaturwissenschaft
$19.99
Mechanics of Creep Brittle Materials 1
$84.99
Interessenvertretung der Arbeitnehmer im Betrieb
$59.99
Verkaufen!
$59.99
Distributed Autonomous Robotic Systems 8
$169.00
British Scientists and the Manhattan Project
$39.99
Envisioning Disease, Gender, and War
$129.99
Social Economy of France
$74.99
Why Religion? Towards a Critical Philosophy of Law, Peace and God
$119.00
The Multiple Ligament Injured Knee
$149.00
Robotics in Knee and Hip Arthroplasty
$129.99
Die Behandlung des Emissionshandels in der Handels- und Steuerbilanz
$79.99
Atlas of Intraoperative Cranial Nerve Monitoring in Thyroid and Head and Neck Surgery
$279.99
Gender, Sprache, Kognition
$89.99
Molecular and Biological Aspects of the Acute Allergic Reaction
$39.99
Complete and Compact Minimal Surfaces
$54.99
Solid Waste Management and Recycling
$129.00
Das Atom und die Bohrsche Theorie seines Baues
$59.99
Lehrbuch Grundlagen der Informatik
$84.99
Peptidomimetics II
$219.99
Bifidobacteria and Their Role
$49.99
Catalytic Ignition of Hydrogen and Hydrogen-Hydrocarbon Blends Over Noble Metals
$139.00
Tribologische Untersuchung der Kolbenbolzenlagerung eines Verbrennungsmotors
$64.99
Theoretische Physik 3
$59.99
