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

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

$54.99
See Site In stock Visit Store

Similar Products

Die Vorratsinventur

$59.99

SQL mit ORACLE

$44.99

Generalized Low-Voltage Circuit Techniques for Very High-Speed Time-Interleaved Analog-to-Digital Co

$109.99

Conceptions of God, Freedom, and Ethics in African American and Jewish Theology

$54.99

The Caves of Burnsville Cove, Virginia

$169.99

Therapy as Discourse

$129.99

Markenstrategien wachstumsorientierter Unternehmen

$59.99

Foundational Research in Entrepreneurship Studies

$159.99

The Menopause Manual

$39.99

Peter von Zahn's Cold War Broadcasts to West Germany

$109.99

The Internationalization of the German Political Economy

$129.00

Rational Choice Marxism

$54.99

Przisions-Meverfahren zur Bestimmung des elektrischen Leitvermgens geschmolzener Salze

$59.99

The Coming of Age of Solar and Wind Power

$199.99

Continuous Flows in the Plane

$54.99

Relativistic Theory of Atoms and Molecules III

$54.99

Fertigungsverfahren 4

$59.99

Fahrtests unter Realbedingungen

$17.99

Chondral Disease of the Knee

$84.99

Makroskopische Elektrodynamik der Materiellen Krper

$84.99

Collingwood on Philosophical Methodology

$89.99

Vergangene Vertrautheit

$34.99

Psychosomatische Gynkologie und Geburtshilfe 1987

$69.99

New Challenges for the Eurozone Governance

$179.99

Recent Trends in Modelling of Environmental Contaminants

$109.99

Der Erste Weltkrieg in der Dramatik deutsche und australische Perspektiven / The First World War i

$74.99

The Cost of Development in China

$179.99

La Luna de los Nios

$5.99

Scholastic Book of World Records 2025

$11.24

The Whisper Man- A Novel by Alex North

$18.99

Krisenmanagement bei Strfllen

$49.99

Metalepse im Werk von Gnter Grass

$59.99

Practical Database Auditing for Microsoft SQL Server and Azure SQL

$59.99

Power Purchase Agreements

$17.99

Reinventing Fisheries Management

$219.99

konomische Aspekte internationaler Klimapolitik

$59.99

Verteilungsprognose fr den Deutschen Aktienindex

$49.99

Impossibility in Modern Private Law

$84.99

Business Process Management

$54.99

Teilnahme an wissenschaftlicher Weiterbildung

$59.99