Formal Methods for Executable Software Models (Lecture Notes in Computer Science / Programming and Software Engineering .8483) (2014. 2014. viii, 343 S. 101 SW-Abb.,. 235 mm)

1,925 TWD
KPC會員價
1,733
English
發行商
SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
出版日期
2014/05
國際標準書號
9783319073163
頁面
-
項目類型
Book
格式
Paperback

無法訂購

此產品目前缺貨

折扣將於結帳時套用。

最近瀏覽過的項目

相關產品