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

Biochemistry of Sulfur

$169.00

Aligning Geopolitics, Humanitarian Action and Geography in Times of Conflict

$99.99

Kognitive Verarbeitungsprozesse in der Interaktion mit Strmungsexperimenten in einer Ausstellung

$69.99

Verhandlungen der Schweizerischen Gesellschaft fr Gynkologie und Geburtshilfe

$59.99

Informatik - Anwendungsentwicklung - Praxiserfahrungen

$49.99

On Statistical Pattern Recognition in Independent Component Analysis Mixture Modelling

$84.99

Zur Konstitution moderner Gesellschaften

$89.99

Cancer Policy: Research and Methods

$169.00

Intelligent Systems: Approximation by Artificial Neural Networks

$109.99

Diversifikation und Unternehmenserfolg

$59.99

Advances and Applications in Nonlinear Control Systems

$129.00

Schwachstellen

$59.99

Modern Issues and Methods in Biostatistics

$54.99

Topics in Case-Based Reasoning

$39.99

Englands Anteil an der Trennung der Niederlande 1830

$59.99

German Reparations, 1919 - 1932

$109.99

Justice at Nuremberg

$109.99

On the Move to Meaningful Internet Systems: OTM 2019 Conferences

$99.99

Far-Infrared Properties of Solids

$84.99

Structure and Biophysics - New Technologies for Current Challenges in Biology and Beyond

$84.99

The History of British Women's Writing, 1610-1690

$109.99

Agent Communication II

$54.99

kologische Kompetenz

$59.99

Social Media Marketing in China mit WeChat

$44.99

MRI for Radiographers

$84.99

Opioid Food Peptides

$109.99

Mustererkennung 1995

$59.99

Einfhrung in die Differentialgeometrie

$49.99

Stochastic Calculus via Regularizations

$179.99

Gesundheit

$79.99

Ethnicity Kills?

$169.99

Das Exsiccoseproblem

$69.99

Interdisciplinary Research and Trans-disciplinary Validity Claims

$54.99

War, Sport and the Anzac Tradition

$54.99

Datenbanken

$39.99

Proceedings of the 2021 DigitalFUTURES

$59.99

Plant Genetic Engineering

$54.99

Physik mit dem PC

$49.99

Handbuch Resilienzfrderung

$129.99

Grid Optimal Integration of Electric Vehicles: Examples with Matlab Implementation

$129.99