Formal Methods : Applications and Technology
by Lubos Brim, Boudewijn Haverkort, Martin Leucker
Published
2007
Publisher
Springer London, Limited
ISBN-13
9783540709527
Subjects
You May Also Like
Advances in Computers, Volume 49 (Advances in Computers)
Advances in Computers, Volume 49 (Advances in Computers)
Software Engineering
Software Engineering
Transactions on Engineering Technologies
Transactions on Engineering Technologies
Introduction to Algorithms
Introduction to Algorithms
Masters of Doom
Masters of Doom
Don't Make Me Think
Don't Make Me Think
Frequently Asked Questions
Who is the author of Formal Methods : Applications and Technology?
Formal Methods : Applications and Technology was written by Lubos Brim, Boudewijn Haverkort, Martin Leucker.
When was Formal Methods : Applications and Technology published?
The publication date for this specific edition is 2007. The original work may have been published on a different date.