From Software Engineering to Formal Methods and Tools, and Back
by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
2019587 pages
Springer·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
From Software Engineering to Formal Methods and Tools, and Back (2019)
From Software Engineering to Formal Methods and Tools, and Back (2019)
Springer
Springer
paperback
ISBN 10: 3030309843
ISBN 13: 9783030309848