Concise guide to formal methods : theory, fundamentals and industry applications

Author(s)

• O'Regan, Gerard (Cornelius Gerard)

Bibliographic Information

Concise guide to formal methods : theory, fundamentals and industry applications

Gerard O'Regan

（Undergraduate topics in computer science）

Springer, c2017

• : pbk.

Note

Includes bibliographical references and index

Details

• NCID: BB26101117
• ISBN:
  • 9783319640204
• LCCN: 2017946679
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xxvi, 322 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA82020819