Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Vertrauensvolle Mitarbeiterfhrung

$34.99

Grundlagen der Volkswirtschaftslehre

$39.99

Well-Being, Positive Peer Relations and Bullying in School Settings

$59.99

The Truth About Stacey: A Graphic Novel (The Baby-Sitters Club #2)

$8.24

Issues in Accident and Emergency Nursing

$54.99

Paths to Parenthood

$129.99

October Birds

$49.99

Knstliche Intelligenz in der Anwendung

$39.99

Technology-Rating

$54.99

Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Bio

$59.99

Die Diffusion von Politikinnovationen

$59.99

Essentials of Anatomic Pathology

$149.00

Analysis and Partial Differential Equations

$59.99

Contesting Genres in Contemporary Asian American Fiction

$39.99

Nanoparticle-Mediated Immunotherapy

$129.00

Machine Learning

$64.99

The Statesman's Year-Book 1994-95

$54.99

Treatment of Acute Leukemias

$219.99

Methodology Ecological, Genetic, and Nutritional Effects on Growth

$109.99

Vorlesungen ber hhere Mathematik

$49.99

The Effects of Constant Light on Visual Processes

$39.99

Geospatial Data Science in Healthcare for Society 5.0

$169.99

A History of Central Europe

$32.99

The Plight of the Palestinians

$54.99

Mastering VMware Horizon 8

$54.99

Alcoholism

$39.99

Organisieren von Freiheit

$59.99

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence

$189.00

Nonlinear Crack Models for Nonmetallic Materials

$129.00

Nonlinear Optimization Applications Using the GAMS Technology

$109.99

200 Jahre staatliche Lehrerbildung in Wrttemberg

$49.99

Systematisierung der Analytik von Faserbegleitstoffen mit Rcksicht auf deren Auswaschbarkeit

$59.99

Universal Access and Assistive Technology

$129.00

The Hippocampus

$54.99

Projektmanagement in neuen Dimensionen

$49.99

Chancen und Risiken regionaler Selbstorganisation

$59.99

Finanzsystem der Russischen Fderation

$17.99

There Was an Old Lady Who Swallowed a Rose!

$5.24

The Future of High-Skilled Workers

$54.99

Medizin

$59.99