Our Location
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
International Product
  1. Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected
Item 1 of 1
International Product
Item 1 of 1

Leveraging Applications of Formal Methods : First International Symposium

ISoLA 2004PaphosCyprusOctober 30 - November 22004Revised Selected

Printed Book
SR 389
Inclusive of VAT
Sold as: EACH
SR23Per Month/24 months
Author:Maragria, Tiziana
Date of Publication: 2006
Book classification:Computer & Technology,English Books,
No. of pages:216 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

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

About this Product

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Show more

Specifications

SKU9783540489283
Manufacturer Number9783540489283
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.