Books : Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science)
In association with Amazon.com
from: Springer
Regular marked price: $98.00Discount Price: $78.32
Cost Savings: $19.68 (20%)Price fluctuation possible.
How soon does it ship: Normal ship time within one day
Shipping? Absolutely FREE if you qualify for Super Saver Shipping.
Type of bind: Paperback
Dewey Decimal Number: 005.131
EAN num: 9783540204619
ISBN number: 354020461X
Label: Springer
Manufacturer: Springer
Quantity: 1
Page Count: 683
Printing Date: January 12, 2004
Publishing house: Springer
Sale Popularity Level: 4059033
Studio: Springer
Editor's Notes and Comments:
Product Description:
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.
The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modeling and checking, and semantics and synthesis.
Find other books like this one: