コンピュータ・IT Verification of Object-Oriented Software mqdefault.jpgの詳細情報
mqdefault.jpg。Lesson 8: What Might Go Wrong Part 1 - YouTube。51hfcY3WQqL._AC_SY200_QL15_.jpg。約15年前に購入した本ですが、日に当たらない本棚でほかんしていたので、状態は良い方だと思います。コンピュータ・IT StatMate III for Windows。OpenPLANT | AutoPLANT - Error [20218]: Cannot Start。- タイトル: Verification of Object-Oriented Software- 著者: Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt- シリーズ名: Lecture Notes in Artificial Intelligence- フォワード著者: K. Rustan M. Leino- 出版社: Springer- ISBN: 978-3-540-68977-5ご覧いただきありがとうございます。