Our Locations
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
  1. FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Item 1 of 1
Item 1 of 1

FM 2006: Formal Methods : 14th International Symposium on Formal Methods

HamiltonCanadaAugust 21-272006Proceedings

Printed Book
SR 643
Inclusive of VAT
Sold as: EACH
SR39Per Month/24 months
Author:Misra, Jayadev
Date of Publication: 2006
Book classification:Computer & TechnologyEnglish Books,
No. of pages:644 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

SR643
Incl. VAT

Choose your delivery preference

  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery
Or

About this Product

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Show more

Specifications

SKU9783540372158
Manufacturer Number9783540372158
year published2006
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.