Concrete semantics : with Isabelle/HOL

著者

• Nipkow, Tobias
• Klein, Gerwin

書誌事項

Concrete semantics : with Isabelle/HOL

Tobias Nipkow, Gerwin Klein

Springer, c2014

注記

Includes bibliographical references (p. 287-292) and index

• NII書誌ID(NCID): BB1787762X
• ISBN:
  • 9783319105413
• LCCN: 2014957301
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xiii, 298 p.
• 大きさ: 25 cm