Formal methods : an appetizer

著者

• Nielson, Flemming
• Nielson, Hanne Riis

書誌事項

Formal methods : an appetizer

Flemming Nielson, Hanne Riis Nielson

Springer, c2019

注記

Includes index

詳細情報

• NII書誌ID(NCID): BB29377169
• ISBN:
  • 9783030051556
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xvii, 160 p.
• 大きさ: 29 cm