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

This book constitutes the refereed proceedings of the 20th BrazilianSymposium on Formal Methods, SBMF 2017, which took place in Recifel,Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefullyreviewed and selected from 37 submissions. They are organized in thefollowing topical sections: formal methods integration and experience reports;model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

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

Universitre Bildungskooperationen

$89.95

NanoBioMedicine

$279.99

Raum - Zeit - Relativitt

$54.99

Raising the Alarm

$49.99

Molecular Machines

$129.00

Creative Approaches to Technology-Enhanced Learning for the Workplace and Higher Education

$169.00

The Bronze-Iron Age of Indonesia

$39.99

Numerical Methods in Fluid Dynamics

$34.99

A First Course in Information Theory

$149.00

Managementorientiertes IT-Controlling und IT-Governance

$44.99

Intestinal Anastomoses with Bioabsorbable Anastomosis Rings

$109.99

Qualitt huslicher Lernumwelten im Vorschulalter

$44.99

Additive Manufacturing

$199.99

Was ist Fundamentalismus?

$29.99

Der Verlauf der Staublungenerkrankung bei den Gesteinshauern des Ruhrkohlengebietes

$59.99

Die Formalisierte Terminologie der Verlsslichkeit Technischer Systeme

$69.99

Metal Matrix Composites in Industry

$169.99

Plant Micronutrients

$299.99

Flexibel automatisierte Montage von Holzdbeln mit Industrierobotern

$59.99

Managing Environmental Disputes

$169.99

Biomechanics for Instructors

$129.99

Substitution Dynamical Systems - Spectral Analysis

$74.99

Novel and Intelligent Digital Systems: Proceedings of the 4th International Conference (NiDS 2024)

$179.99

Handbook of Dynamics and Probability

$199.99

Advanced .NET Remoting

$59.99

Gaias Body

$39.99

Dantes Pluralism and the Islamic Philosophy of Religion

$39.99

Basic Theory of Algebraic Groups and Lie Algebras

$84.99

Mission-Critical Application Driven Intelligent Maritime Networks

$54.99

Advances in Teacher Emotion Research

$169.99

Computational Intelligence: Theory and Applications

$84.99

Services Management und digitale Transformation

$49.99

Future Directions of Nonlinear Dynamics in Physical and Biological Systems

$169.00

Adaptive Hybrid Active Power Filters

$159.99

Energy Transition Holistic Impact Challenge (ETHIC): A New Environmental and Climatic Era

$219.99

Wissensarten, Wissensordnungen, Wissensregime

$44.99

Current Trends in Concrete Fracture Research

$169.99

Phase Transitions in Surface Films

$39.99

Distributed Attitude Consensus of Multiple Flexible Spacecraft

$109.99

Spirituality, Sustainability, and Success

$159.99