Formal Methods
Subtitle: An Appetizer
Publisher: Springer
Published: Jul 17, 2019
Format: hardcover
Number of pages: 160
ISBN-13: 9783030051556
Notes: Source title: Formal Methods: An Appetizer