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

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

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

Single Product Purchase

$34.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
$34.99 $34.99

$34.99
See Site In stock Visit Store

Similar Products

Money Demand in Europe

$54.99

Das groe Euro-Handbuch

$59.99

The Public Wealth of Nations

$32.99

Understanding Demographic Transitions

$89.00

Harnorgane Mnnliche Geschlechtsorgane

$44.99

Macroeconomic Modelling of R&D and Innovation Policies

$49.99

Energieeffiziente elektrische Antriebe

$37.99

Random Destinations

$49.99

Recent Advances in Lichenology

$169.99

Handbuch der Baugeologie und Geotechnik

$229.99

Biochemistry and Genetics of Recq-Helicases

$109.99

Ablauforientierte Produktionslogistik

$49.99

Konzernverrechnungspreise fr multinationale Unternehmen

$59.99

Kulturfrderung

$64.99

Landscape, Association, Empire

$159.99

Reactions on Polymers

$169.99

Smart Adaptive Systems on Silicon

$84.99

The Psychology of Emotions

$169.99

Auswirkungen der Atemmechanik auf den Kreislauf

$59.99

National Geographic Kids Readers: Pandas

$4.46

Machtkonzentration in der Multimediagesellschaft?

$69.99

Tomita-Takesaki Theory in Algebras of Unbounded Operators

$44.99

Recyclingtechnik

$59.99

Information Systems, E-learning, and Knowledge Management Research

$109.99

Zuverlssigkeitsbewertung technischer Systeme

$49.99

Spacetime

$169.00

Bilanzplanung und Bilanzgestaltung

$74.99

New Concepts II

$39.99

Quantum Hamilton-Jacobi Formalism

$39.99

Ergnzungsheft zum Referatenteil der Monatsschrift fr Unfallheilkunde

$59.99

Financing Services of General Economic Interest

$109.99

Power Estimation and Optimization Methodologies for VLIW-based Embedded Systems

$119.00

Kepler Problem in the Presence of Dark Energy, and the Cosmic Local Flow

$54.99

Fit in Biochemie

$44.99

Geronimo Stilton The Kingdom of Fantasy: The Island of Dragons (#12) (Hardcover)

$13.49

JBoss 3.2 Deployment and Administration

$39.99

La luz y los colores para los ms curiosos

$5.96

Shallow and Deep Learning Principles

$149.00

Optical Technologies for Extreme-Ultraviolet and Soft X-ray Coherent Sources

$109.99

Value Based and Intelligent Asset Management

$109.99