FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 201

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 201

USD 145.70 USD
SKU: m1P0PKtr
GTIN: 9783319064093
Condition: Brand New
Tags: 2014-12-16 9783319064093 FM 2014: Formal Methods
Categories: Books & Magazines

Specifications

ISBN-139783319064093
Book TitleFM 2014: Formal Methods
ISBN9783319064093

The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. Subtitle 19th International Symposium, Singapore, May 12-16, 2014. - Proof Engineering Considered Essential.

Related Items

New Suicide Squad (2014) #9 #10 #11 #12 #13 #14 #15 #16 Annual 1 DC 9 Issues
New Suicide Squad (2014) #9 #10 #11 #12 #13 #14 #15 #16 Annual 1 DC 9 Issues
 Option Volatility and Pricing: Advanced Trading, Natenberg..
Option Volatility and Pricing: Advanced Trading, Natenberg..
 Loss Given Default of High Loan-to-Value Residential Mortgages 9781505309805-,
Loss Given Default of High Loan-to-Value Residential Mortgages 9781505309805-,
 ICE MAGIC (Silver Blades) – Lowell, Melissa – Very Good – See condition note…
ICE MAGIC (Silver Blades) – Lowell, Melissa – Very Good – See condition note…
 Teen Titans 2014 5th Series #9 #10 #11 #12 #13 #14 #15 #16 DC
Teen Titans 2014 5th Series #9 #10 #11 #12 #13 #14 #15 #16 DC
 My Ballerina Bag Stories to Share by Parragon: Used
My Ballerina Bag Stories to Share by Parragon: Used
 Derailing Democracy in Afghanistan: Elections in an Unstable Political Landscape
Derailing Democracy in Afghanistan: Elections in an Unstable Political Landscape
 Projector Headlight Assembly Lamps Compatible with Mazda CX5 2013 2014 2015 2016
Projector Headlight Assembly Lamps Compatible with Mazda CX5 2013 2014 2015 2016