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

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitria, Brazil, during December 46, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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

Single Product Purchase

$49.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
$54.99 $54.99

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

Similar Products

Fhrung von Personaldienstleistungsunternehmen

$39.99

MedienAlltag

$49.99

Linear Models with Correlated Disturbances

$109.99

Verdampfen und Verkochen

$59.99

Developing Students Statistical Reasoning

$169.00

Handbuch Armut und soziale Ausgrenzung

$179.99

Lehrbuch der Chirurgie und Orthopdie des Kindesalters

$59.99

Strategieimplementierung

$59.99

Regulation of Enzymatic Systems Detoxifying Xenobiotics in Plants

$219.99

Game Theory and Networks

$169.99

Models and Experiments in Risk and Rationality

$169.99

Cadmium Interaction with Animal Cells

$169.99

Fullerene-Based Materials

$259.00

Intelligent Computing Systems

$109.99

Chefsache Kulturwandel

$49.99

Hello World: Hello, City Bus!

$5.21

The Secret Of The Snow (Hardcover)

$12.74

ffentlich-Private Daseinsvorsorge (PD) in Deutschland

$17.99

The Decentralized and Networked Future of Value Creation

$109.99

Maturing the Snowflake Data Cloud

$59.99

Sensory Neuroscience: Four Laws of Psychophysics

$169.99

MultiMedia Modeling

$74.99

Win or Lose in Rural Development

$169.99

Atomtheorie des Festen Zustandes (Dynamik der Kristallgitter)

$59.99

Die Dritte Welle der Mobilkommunikation

$39.99

Campus-Management Systeme als Administrative Systeme

$17.99

Ethik der Pandemie

$17.99

Residue Reviews / Rckstands-Berichte

$39.99

Learning in Non-Stationary Environments

$129.00

Kombinatorik

$49.99

Children Learning Second Languages

$109.99

Ambivalences of Inclusion in Society and Social Work

$54.99

Upon What Does the Turtle Stand?

$84.99

Optimal Portfolios with Stochastic Interest Rates and Defaultable Assets

$54.99

Cooperative Design, Visualization, and Engineering

$54.99

Science Literacy in Primary Schools and Pre-Schools

$109.99

Natural Language Processing and Information Systems

$39.99

Basis for Variability of Response to Anti-Rheumatic Drugs

$54.99

Bad Apples

$39.99

Democracy and International Relations

$109.99