Our Location
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
  1. FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Item 1 of 1
Item 1 of 1

FM 2015: Formal Methods : 20th International Symposium

OsloNorwayJune 24-262015Proceedings

Printed Book
SR 475
Inclusive of VAT
Sold as: EACH
SR28Per Month/24 months
Author:Bjørner, Nikolaj
Date of Publication: 2015
Book classification:Computer & TechnologyEnglish Books,
No. of pages:628 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR475
Incl. VAT
  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery
Or

About this Product

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.
Show more

Specifications

SKU9783319192482
Manufacturer Number9783319192482
year published2015
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.