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

FM 2016: Formal Methods

FM 2016: Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319489896
Condition
New
Product Description

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Teaching Academic Writing in European Higher Education

$84.99

Practical Entity Framework Core 6

$69.99

Design and Applications of Emerging Computer Systems

$169.99

Petrophysics /

$109.99

Fast Simulation of Computer Architectures

$109.99

Enantioselective Organocatalyzed Reactions I

$129.00

Corporate Environmental Responsibility, Accounting and Corporate Finance in the EU

$169.99

Nanoindentation

$109.99

Magnetische Werkstoffe

$59.99

Musikalisches Tempoempfinden in audiovisuellen Medien

$64.99

Wine and Tourism

$109.99

Syrian Armenians and the Turkish Factor

$79.99

Politikinnovationen im Schatten des Bundes

$59.99

Heavy Metal Stress in Plants

$169.99

Die Russland-Kontroverse

$44.99

Homophones Grade 2 Differentiation Pack

$5.99

Hardware-Software Co-Design of Embedded Systems

$169.99

Social Enterprises and Impact Investors

$129.99

Renewable Energy Towards Smart Grid

$199.99

Gestaltung von Verrechnungspreisen mit immateriellen Wirtschaftsgtern

$59.99

Balancing on Quicksand

$69.99

Mathematical Modeling for Flow and Transport Through Porous Media

$169.99

Turkey and the European Community

$54.99

G.A.T.C.A

$119.99

Lexile Collection Middle School Levels 700-790

$125.00

Sustainable Management of Natural Resources

$129.00

Fluorescent Proteins I

$219.99

Markenstrkenmessung unter besonderer Bercksichtigung von Konsumentenheterogenitt

$69.99

Das Hartwell-Papier

$29.99

IX Latin American Congress on Biomedical Engineering and XXVIII Brazilian Congress on Biomedical Eng

$279.99

Gender Hate Online

$99.00

Untersuchung eines neuen Drehstrom-Kurzschlumotors und Ausbildung eines Verfahrens zur unmittelbare

$59.99

Kommunikationscontrolling in Verbindung mit Zielgren des Markenwertes

$69.99

Conceptions of Critique in Modern and Contemporary Philosophy

$54.99

Einstellungen Personalverantwortlicher zur Beschftigung von Menschen mit Behinderungen

$49.99

Innovation in a High Technology B2B Context

$54.99

Intelligent Systems for Engineering

$39.99

Mathematik fr Ingenieure: Verstehen Rechnen Anwenden

$44.99

Karst Groundwater Contamination and Public Health

$219.99

Roads to Higher Dimensional Polytopic Projects

$109.99