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

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

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

Felix Hausdorff - Gesammelte Werke Band 5

$129.99

ber Physik und Astrophysik

$69.99

Atlas of Exocrine Pancreatic Tumors

$54.99

Medikamentenmanagement in der ambulanten und stationren Altenpflege

$37.99

Arbeit als Subjektivierendes Handeln

$69.99

ber die schnellen Teilprozesse photosensibilisierter Substrat-bertragungen

$59.99

The Theology of Pope Benedict XVI

$54.99

Agrobacterium: From Biology to Biotechnology

$219.99

Orthogonal and Symplectic Clifford Algebras

$169.99

Advances in Artificial Intelligence and Its Applications

$54.99

Blockchain ICBC 2018

$54.99

Citizenship, Education and Violence

$49.99

100 American Crime Writers

$109.99

Frontiers in Clinical Neuroscience

$109.99

Morphometrics

$109.99

Commodities, Governance and Economic Development under Globalization

$84.99

Discovery of Co-existing Non-collinear Spin Textures in D2d Heusler Compounds

$129.00

6GN for Future Wireless Networks

$89.00

Zerspantechnik

$59.99

Wie beeinflusst soziales Kapital den erfolgreichen Wissenstransfer in projektbasierten Organisatione

$64.99

Blue Carbon Dynamics of the Indian Ocean

$169.99

Netzwerkartige Wertschpfungssysteme

$69.99

Plant Virus Evolution

$169.99

The Philosophical Novel as a Literary Genre

$89.00

Timing Optimization Through Clock Skew Scheduling

$84.99

Predictive, Preventive, and Personalised Medicine: From Bench to Bedside

$129.00

Ethical Challenges in Genomics Research

$129.00

Social Exclusion

$89.00

Semantische Frames in interkultureller Markenkommunikation

$74.99

Kesselspeiseeinrichtungen

$59.99

Structure and Bonding

$84.99

Deutsche Auenpolitik

$49.99

Deconstructing Doctoral Discourses

$129.00

3rd EAI International Conference on IoT in Urban Space

$129.00

Dispositionsparameter von SAP R/3-PP

$54.99

The Future of Electricity Retailing and How We Get There

$99.00

Theory and Interpretation of Magnetic Resonance Spectra

$54.99

Intelligent Human Computer Interaction

$54.99

One Is a Snail, Ten Is a Crab

$5.21

Formal Methods in Human-Computer Interaction

$54.99