Integrated Formal Methods
by Michael Butler, Luigia Petre, Kaisa Sere
Published
2003
Publisher
Springer London, Limited
ISBN-13
9783540478843
Subjects
You May Also Like
Frequently Asked Questions
Who is the author of Integrated Formal Methods?
Integrated Formal Methods was written by Michael Butler, Luigia Petre, Kaisa Sere.
When was Integrated Formal Methods published?
The publication date for this specific edition is 2003. The original work may have been published on a different date.