Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031660634
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Theoretische Mechanik

Theoretische Mechanik

$37.99
Sustainable Development in Mountain Regions

Sustainable Development in Mountain Regions

$129.00
Chemical Signals in Vertebrates 6

Chemical Signals in Vertebrates 6

$219.99
Complex Analysis, Operators, and Related Topics

Complex Analysis, Operators, and Related Topics

$109.99
Web API Development for the Absolute Beginner

Web API Development for the Absolute Beginner

$59.99
50 Schlsselideen Digitale Kultur

50 Schlsselideen Digitale Kultur

$17.99
The Molecular Basis of Cancer

The Molecular Basis of Cancer

$39.99
Bifurcation in Autonomous and Nonautonomous Differential Equations with Discontinuities

Bifurcation in Autonomous and Nonautonomous Differential Equations with Discontinuities

$39.99
Childhood Acute Lymphoblastic Leukemia

Childhood Acute Lymphoblastic Leukemia

$79.99
Untersuchung von Vergleichskriterien fr die Optimierung von Zuschneideverfahren

Untersuchung von Vergleichskriterien fr die Optimierung von Zuschneideverfahren

$59.99
Lipopolysaccharide Transport

Lipopolysaccharide Transport

$169.99
The Palgrave Handbook of Britain and the Holocaust

The Palgrave Handbook of Britain and the Holocaust

$169.99
Controversies in Education

Controversies in Education

$84.99
Comparative Animal Biochemistry

Comparative Animal Biochemistry

$109.99
Teacher Induction and Mentoring

Teacher Induction and Mentoring

$159.99
Fractures of the Hip

Fractures of the Hip

$109.99
Zur Aktualitt von Michel de Certeau

Zur Aktualitt von Michel de Certeau

$37.99
Fuzzy Logic in Data Modeling

Fuzzy Logic in Data Modeling

$169.99
Projektmanagement in der Automobilindustrie

Projektmanagement in der Automobilindustrie

$34.99
Classical Field Theory

Classical Field Theory

$59.99
Palladium Catalyzed Oxidation of Hydrocarbons

Palladium Catalyzed Oxidation of Hydrocarbons

$219.99
Facilitating Children's Agency in the Interaction

Facilitating Children's Agency in the Interaction

$139.99
Genetic Damage in Human Spermatozoa

Genetic Damage in Human Spermatozoa

$169.99
E.H.Carr: A Critical Appraisal

E.H.Carr: A Critical Appraisal

$109.99
DNA Computing

DNA Computing

$39.99
Nonlinear Crack Models for Nonmetallic Materials

Nonlinear Crack Models for Nonmetallic Materials

$169.99
Sex, Violence and the Body

Sex, Violence and the Body

$54.99
Otorhinolaryngology

Otorhinolaryngology

$54.99
ECG

ECG

$54.99
Perinatal Psychopharmacology

Perinatal Psychopharmacology

$129.99
Waves and Imaging through Complex Media

Waves and Imaging through Complex Media

$54.99
Einfluss von Verschiebungen und verschiedenen Lagerungen auf das Tragverhalten von Stahlbetonsttzen

Einfluss von Verschiebungen und verschiedenen Lagerungen auf das Tragverhalten von Stahlbetonsttzen

$49.99
The Politics of Citizenship in Indonesia

The Politics of Citizenship in Indonesia

$99.00
Quality Assurance in Seafood Processing: A Practical Guide

Quality Assurance in Seafood Processing: A Practical Guide

$84.99
Fallsammlung Steuerlehre Buchfhrung fr Auszubildende in steuer- und wirtschaftsberatenden Berufen

Fallsammlung Steuerlehre Buchfhrung fr Auszubildende in steuer- und wirtschaftsberatenden Berufen

$59.99
Nanotechnology in Regenerative Medicine

Nanotechnology in Regenerative Medicine

$84.99
Wood Variation

Wood Variation

$84.99
Verschlsselung und Innere Sicherheit

Verschlsselung und Innere Sicherheit

$89.99
How Martha Saved Her Parents from Green Beans

How Martha Saved Her Parents from Green Beans

$5.21
State Recognition and Democratization in Sub-Saharan Africa

State Recognition and Democratization in Sub-Saharan Africa

$54.99
previous
next