Books : Search
In association with Amazon.com
All Products
Apparel
Baby
Beauty
Books
Classical Music
DVD
Digital Music
Electronics
Gourmet Food
Health & Personal Care
Jewelry
Kitchen & Housewares
Magazines
Miscellaneous
Music
Music Tracks
Musical Instruments
Office Products
Outdoor Living
PC Hardware
Pet Supplies
Photo
Restaurants
Software
Sporting Goods
Tools & Hardware
Toys
VHS
Video (DVD & VHS)
Video Games
Wireless
Wireless Accessories
View Shopping Cart or Checkout
Alphabetical: A to Z
Alphabetical: Z to A
Avg. Customer Review
Bestselling
Featured Items
Price: High to Low
Price: Low to High
Pub Date: New to Old
1.
Discount Price:
$115.00
Price fluctuation possible.
Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science)
Author name:
denmark International Symposium of Formal Methods Europe 1993 Odense
,
J. C. P. Woodcock
1993-12
2.
Discount Price:
$118.00
Price fluctuation possible.
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Author name:
International Symposium of Formal Methods
November 15, 1994
3.
Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March 18-22, ... (Lecture Notes in Computer Science)
Author name:
england International Symposium of Formal Methods Europe 1996 Oxford
,
M. C. Gaudel
,
Jim Woodcock
1996-04
page 1 of 1
