FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Author:   Nikolaj Bjørner ,  Frank de Boer
Publisher:   Springer International Publishing AG
Edition:   2015 ed.
Volume:   9109
ISBN:  

9783319192482


Pages:   610
Publication Date:   02 June 2015
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $116.41 Quantity:  
Add to Cart

Share |

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings


Overview

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Full Product Details

Author:   Nikolaj Bjørner ,  Frank de Boer
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2015 ed.
Volume:   9109
Dimensions:   Width: 15.50cm , Height: 3.20cm , Length: 23.50cm
Weight:   9.358kg
ISBN:  

9783319192482


ISBN 10:   3319192485
Pages:   610
Publication Date:   02 June 2015
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Automated circular assume-guarantee reasoning.- Towards formal verification of orchestration computations using the K framework.- Narrowing operators on template abstract domains.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now