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

Filialpolitik

$69.95

Ergnzende Versuche ber die Regeneration der ueren Kiemen von Froschlarven

$54.99

Flchtlingsschutz als globale und lokale Herausforderung

$49.99

Ermdung und Arbeitsfhigkeit

$44.99

Time Series: Theory and Methods

$109.00

Wind Energy in the 21st Century

$84.99

Encyclopedia of Clinical Child and Pediatric Psychology

$54.99

Binaural Hearing

$219.99

Performance Evaluation and Planning Methods for the Next Generation Internet

$109.99

Error Reduction and Prevention in Surgical Pathology

$79.99

Die Menschenrechtsidee

$39.99

Eltern von Kindern mit Autismus-Spektrum-Strungen

$64.99

Commercial Bank Lending and Third World Debt

$44.99

Industrial Robots / Robots industriels / Industrie-Roboter

$54.99

Why We Nap

$99.99

Hydrogen Energy

$159.99

Prinzipien der Medizin

$34.99

Globales Risikomanagement in Finanzinstitutionen

$54.99

Security, Citizenship and Human Rights

$39.99

Anforderungsmanagement

$79.99

Extremum-Seeking Control and Applications

$109.99

Mister Magic - A Novel by Kiersten White

$28.00

Aspekte des Managements der Digitalisierung

$89.99

Asthma

$54.99

Debating Legal Pluralism and Constitutionalism

$249.99

Building AI Driven Marketing Capabilities

$54.99

Environmental Applications of Remote Sensing and GIS in Libya

$159.99

Modeling Calcium Signaling

$44.99

Random Processes

$39.99

Biomass Forestry in Europe

$329.99

Goethes Fichtestudien

$59.99

Elektrotechnik im Maschinenbau

$49.99

Global Encounters

$109.99

Fruit and Nut Crops

$299.99

Learn Rails 6

$79.99

VLSI-SoC: Design Methodologies for SoC and SiP

$54.99

Industrial Starch Debranching Enzymes

$149.00

Business Challenges in the Changing Economic Landscape - Vol. 2

$169.99

Die Statik im Eisenbetonbau

$59.99

Spatial Information Theory. Foundations of Geographic Information Science

$54.99