Formal Methods
by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Published
2023
Publisher
Springer International Publishing AG
ISBN-13
9783031274800
Frequently Asked Questions
Who is the author of Formal Methods?
Formal Methods was written by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker.
When was Formal Methods published?
The publication date for this specific edition is 2023. The original work may have been published on a different date.