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

Was Lehrt uns die Radioaktivitt ber die Geschichte der Erde?

$74.99

Pathogenesis and Treatment of Acne and Rosacea

$279.99

"... aber von Ihnen dependier ich unberwindlich..." Friedrich Hlderlins ferne Leidenschaft

$39.99

Nuclear Methods in Mineralogy and Geology

$169.00

Saproxylic Insects

$379.99

bergnge verkrpern

$64.99

Persons and Life after Death

$109.99

Imperialism with Reference to Syria

$39.99

Unite the Tribes

$19.99

Lexical Availability in English and Spanish as a Second Language

$109.99

Rntgen-Aufnahmetechnik

$79.99

Die verkehrssichere Ausgestaltung des Kraftfahrzeuginnern auf Grund der jetzt vorliegenden Erkenntni

$59.99

Asynchronous Many-Task Systems and Applications

$59.99

The Global Politics of Local Conservation

$139.99

Optimization and Its Applications in Control and Data Sciences

$109.99

Mechanics and Control

$39.99

Managing Value Propositions in Service Ecosystems

$39.99

Besteuerung gesetzlicher Krankenkassen

$17.99

Marktorientierte Produktentwicklung

$49.99

Macrophages and Related Cells

$219.99

The Globalization of Chinese Propaganda

$109.99

Formal Thought and the Sciences of Man

$129.00

Essays in Honor of William N. Kinnard, Jr

$84.99

Schooling for Sustainable Development in Canada and the United States

$199.99

An Excursion through Elementary Mathematics, Volume II

$39.99

Stability of Drugs and Dosage Forms

$129.00

The Whole Story of Half a Girl

$5.21

Clinical Neuroembryology

$109.00

Multiple Myeloma and Other Plasma Cell Neoplasms

$89.00

Supply-Chain-Management und Warenwirtschaftssysteme im Handel

$89.99

Der Kampf um den Konsens

$39.99

Captain Awesome Has the Best Snow Day Ever

$4.46

Arbeitsbuch zu Handelsbilanzen

$59.99

Dual Phase Evolution

$109.99

Model-Based Safety and Assessment

$54.99

Aus dem alten Basel

$44.99

Discrete Mathematics and Theoretical Computer Science

$39.99

Upper Endoscopy for GI Fellows

$79.99

Umwelterziehung in der Schule

$59.99

Neural Networks

$99.99