Formal Methods: An Appetizer
詳しい情報
出版社: Springer(2019-07-25)
ハードカバー: 177 ページ / 21.6 x 1.3 x 28.4 cm
ISBN-10: 3030051552 ISBN-13: 9783030051556
出版社: Springer(2019-07-25)
ハードカバー: 177 ページ / 21.6 x 1.3 x 28.4 cm
ISBN-10: 3030051552 ISBN-13: 9783030051556