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 book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 2324, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
Reviews
Questions & Answers
Database Systems
$44.99
Innovations in Communication Theories
$139.99
Combinatorics, Graph Theory and Computing
$199.99
Beyond Inclusion
$109.99
Internationale Kunden-Lieferanten-Beziehungen
$69.99
Soziologische Erkenntnis und Geschichte
$59.99
Expressive Movement
$54.99
Handbook of Sustainable Travel
$84.99
Natural Analogues in Radioactive Waste Disposal
$219.99
Can the Welfare State Compete?
$109.99
Hydrothermal Processing in Biorefineries
$249.99
Human Values and Global Governance
$54.99
Insider Threats in Cyber Security
$84.99
Assembly Line Design
$109.99
Der Aufbau des Selbst beim Kind
$59.99
Stability Theory by Liapunovs Direct Method
$49.99
EU Coordination in International Institutions
$54.99
When Marian Sang (Hardcover)
$14.99
Austro-Keynesianismus
$59.99
Einkauf-, Freizeit-, Arbeits- und Ausbildungsverkehr (EFA)
$59.99
Classical Electrodynamics
$109.99
Mexico and the North American Free Trade Agreement
$199.00
Cyber Defense and Situational Awareness
$109.99
Preventing Malpractice
$109.99
Wilsonianism
$109.99
Advances in Multimedia Information Processing - PCM 2004
$169.99
Freshwater Flora of Central Europe, Vol 13: Chlorophyta: Ulvophyceae (Swasserflora von Mitteleurop
$179.99
Solar System History from Isotopic Signatures of Volatile Elements
$129.00
Digital Teaching and Learning in Higher Education
$119.99
Engineering Behaviour of Rocks
$54.99
Zola and the Bourgeoisie
$54.99
Conjugated Polymeric Materials: Opportunities in Electronics, Optoelectronics, and Molecular Electro
$219.99
How to Attract Birds to Your Garden: Foods they like, plants they love, shelter they need by Dan Rouse
$25.00
Imaging of Soft Tissue Tumors
$269.00
Integraltafeln zur Quantenchemie
$34.99
Euthanasia, Abortion, Death Penalty and Religion - The Right to Life and its Limitations
$109.00
Key Technologies of Intelligentized Welding Manufacturing
$109.99
Politische Theorie im Film
$59.99
Ecosystem Function in Heterogeneous Landscapes
$169.99
Fachlicher Entwurf von Workflow-Management-Anwendungen
$69.95
