Synthesis of embedded software : frameworks and methodologies for correctness by construction
もっともっと探す
+もっと
詳しい情報
出版社: Springer(c2010)
ISBN-10: 1441963995 ISBN-13: 9781441963994
出版社: Springer(c2010)
ISBN-10: 1441963995 ISBN-13: 9781441963994