Copied Verified Software. Theories, Tools and Experiments
Verified Software. Theories, Tools and Experiments
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
G Protein Methods and Protocols
$129.00
Lineare Algebra
$69.95
Tragende Kunststoffbauteile
$29.99
Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1
$259.00
Scholar Zone Extended Learning Plus ELA & Math Grade K
$900.00
Quadpack
$129.99
Pter R. Surjn
$109.99
The Deadliest: The Deadliest Hurricanes Then and Now
$19.49
Netherlands Yearbook of International Law - 2009
$109.99
Sustainability, Stakeholders and Marketing in the Textile Sector
$129.00
Methodologies for Knowledge Discovery and Data Mining
$39.99
Computational Diffusion MRI
$109.99
Schulterdystokie und Plexusparese
$79.99
Psychotherapy for the Whole Family
$54.99
Recent Advances in Therapeutic Drug Monitoring and Clinical Toxicology
$169.00
Efficient Software Development with DB2 for OS/390
$54.99
The Codes of the Street in Risky Neighborhoods
$59.99
Einfhrung in die Computergraphik
$37.99
Scholar Zone Extended Learning Math Grade 7 (2 Scholar)
$75.00
Management Skills
$39.99
Organic Reaction Mechanisms
$89.99
Agent-Based Methods in Economics and Finance
$169.99
Diagnostische und therapeutische Endoskopie in der Gastroenterologie
$79.99
Protest in der Weltgesellschaft
$49.99
Gottfried Keller-Handbuch
$37.99
Robust Control Systems
$109.99
Relaxation of Elementary Excitations
$84.99
Perinatal Thrombosis and Hemostasis
$109.99
The Mathematics of Networks of Linear Systems
$64.99
Strategische Kontrolle
$59.99
Rivalry in Southern Africa 1893-99
$84.99
Franco and the Axis Stigma
$54.99
Hals-Nasen-Ohrenheilkunde
$54.99
Application of Bamboo in Building Envelope
$159.99
Smart Cities
$159.99
Social Media Processing
$54.99
Das Karpaltunnelsyndrom
$17.99
Konfiguration und Koordination von Wertschpfungsaktivitten in internationalen Unternehmen
$74.99
Tumble (Hardcover)
$14.24
Primary Care for Emergency Physicians
$39.99
