Tool Support for System Specification, Development and Verification 1st 版 著者: Yassine Lakhnech; Rudolf Berghammer 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tool Support for System Specification, Development and Verification : 9783709163559, 3709163552 および 印刷版のISBNは 9783211832820, 3211832823. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Tool Support for System Specification, Development and Verification 1st 版 著者: Yassine Lakhnech; Rudolf Berghammer 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tool Support for System Specification, Development and Verification : 9783709163559, 3709163552 および 印刷版のISBNは 9783211832820, 3211832823. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
