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

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