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
9783031224751
Condition
New
Product Description

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$40.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$44.99 $44.99

10% OFF
This deals requires coupon Get Code Here
$40.50
See Site In stock Visit Store

Similar Products

King of Battle and Blood by Scarlett St. Clair

$16.99

Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems

$60.00

Surfactants in Consumer Products

$84.99

Advances in Fluid Mechanics

$179.99

The Dynamics and Complexities of Interracial Gay Families in South Africa: A New Frontier

$54.99

Extensions of Rings and Modules

$39.99

Build Back Better

$159.99

Using R for Biostatistics

$179.99

Prozess- und Kundenorientierung

$59.99

Global Challenges in Maritime Security

$139.99

Clinical Cases in Integrative Dermatology

$59.99

The Massachusetts General Hospital Handbook of Cognitive Behavioral Therapy

$109.00

Nagelerkrankungen in der dermatologischen Praxis

$99.00

Synthesis of Nanoparticles and Nanomaterials

$169.99

Programmierung des OS/2 Extended Edition Database Manager

$69.99

Learner Narratives of Translingual Identities

$99.99

Aesthetico-Cultural Cosmopolitanism and French Youth

$84.99

Fixing Higher Education

$109.99

Ethnography and Education Policy

$159.99

Handbook of Topological Fixed Point Theory

$169.99

Introduction to Blender 3.0

$69.99

Solving the Pell Equation

$79.95

Arbeitsmedizinische Studien in Nord-Amerika und Sd-Afrika

$59.99

Advances in Enterprise Engineering VIII

$39.99

Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunittsforschung

$84.99

Theoretical Acoustics and Numerical Techniques

$54.99

Die undifferenzierten Astrozytome des Grohirns

$69.99

Valuation of Human Capital

$59.99

Bank Competition, Efficiency and Liquidity Creation in Asia Pacific

$54.99

Making American Culture

$54.99

Fly Guy Presents: Space

$3.74

Untersuchungen ber das Alterungsverhalten, die Temperaturbestndigkeit und Zeitstandfestigkeit von

$59.99

Molecular Genetics, Biochemistry and Clinical Aspects of Inherited Disorders of Purine and Pyrimidin

$109.99

50 Jahre GAMM

$49.99

Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Glo

$109.00

Perspektiven der Nachhaltigkeit

$59.99

Therapist Effects on Attrition in Psychotherapy Outpatients

$49.99

Early Writings in the Philosophy of Logic and Mathematics

$119.99

Educational Leadership through a Practice Lens

$159.99

The Atlas of Climate Change: Based on SEAP-CMIP5

$169.99