登入
選單
返回
Google圖書搜尋
Programmverifikation
Krzysztof R. Apt
Ernst-Rüdiger Olderog
其他書名
Sequentielle, parallele und verteilte Programme
出版
Springer-Verlag
, 2013-03-07
主題
Computers / Computer Architecture
Computers / Hardware / General
Computers / Software Development & Engineering / General
Mathematics / Logic
Computers / Computer Science
Computers / Programming / General
Computers / Software Development & Engineering / Systems Analysis & Design
Computers / Information Technology
Mathematics / History & Philosophy
Mathematics / Discrete Mathematics
ISBN
3642579477
9783642579479
URL
http://books.google.com.hk/books?id=CivMBgAAQBAJ&hl=&source=gbs_api
EBook
SAMPLE