Applied Formal Methods - Fm-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Procee

By D. Hutter

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: B010BB6UFQ
• ISBN13: 9783540664628
• Release Date: August 1999
• Publisher: Springer
• Length: 384 Pages
• Weight: 1.22 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"