Formal Methods and Software Engineering
by Karin Breitman, Ana Cavalcanti
Published
2009
Publisher
Springer London, Limited
ISBN-13
9783642103735
Frequently Asked Questions
Who is the author of Formal Methods and Software Engineering?
Formal Methods and Software Engineering was written by Karin Breitman, Ana Cavalcanti.
When was Formal Methods and Software Engineering published?
The publication date for this specific edition is 2009. The original work may have been published on a different date.