Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
by Tiziana Margaria, Bernhard Steffen
2018536 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
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (2018)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (2018)
Springer
Springer
paperback
ISBN 10: 3030034232
ISBN 13: 9783030034238