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

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

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

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

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

Quantitative Prinzipien gleichmiger Beschrnktheit und Schrfe von Fehlerabschtzungen

$59.99

Microwave Systems Design

$54.99

Romance in Post-Socialist Chinese Television

$54.99

The Science of String Instruments

$109.00

Europa der Regionen

$79.99

MS-DOS 6.0

$69.99

Diffusion in Solids

$329.99

The Unbalanced Economy

$109.99

Externe EU-Governance

$39.99

Modeling and Simulation of Tribological Problems in Technology

$179.99

50+ Years of AIMETA

$299.99

The Myth of Community Care

$39.99

Praxiswissen Radio

$39.99

Alternative Energy Resources in the MENA Region

$219.00

Sustainable Development of Water and Environment

$249.99

Public Health Perspectives on Disability

$99.00

Culture and Computing

$79.99

Friedenssichernde Aspekte des Minderheitenschutzes in der ra des Vlkerbundes und der Vereinten Nat

$69.99

Personalmanagement im Wandel

$69.99

That's Not What I Heard (Hardcover)

$14.24

Ad-Hoc-Mitteilungen und deutscher Aktienmarkt

$59.99

Magnetic Components for Power Electronics

$129.00

Sports and Human Rights

$59.99

Materialverhalten anisotroper Festkrper

$44.99

Radiobiology of Glioblastoma

$109.99

Semantics of Natural Language

$329.99

China's Global Aspirations and Confucianism

$54.99

Therapeutic Applications of Ribozymes and Riboswitches

$109.99

Business in a Virtual World

$54.99

Process-Oriented Dynamic Capabilities

$39.99

Global Competitiveness and Innovation

$109.99

Girls and Aggression

$84.99

Residue Reviews

$39.99

Surgery for Recurrent Soft Tissue Sarcoma

$89.00

Handbook on Radiation Probing, Gauging, Imaging and Analysis

$169.00

Signal Detection in Non-Gaussian Noise

$39.99

Ein Blick hinter die Kulissen

$49.99

Disruption, Ideation and Innovation for Defence and Security

$109.99

Human Nature and Natural Knowledge

$189.00

Medizin im Wandel

$54.99