登入選單
Google圖書搜尋
Verification of Sequential and Concurrent Programs
作者
Krzysztof Apt / Frank S. de Boer / Ernst-Rüdiger Olderog
出版Springer Science & Business Media, 2010-10-14
ISBN
9781848827448 / 184882744X
主題
Computers
Verification of Sequential and Concurrent Programs
作者
Krzysztof R. Apt / Ernst-Rüdiger Olderog
出版Springer Science & Business Media, 2013-03-09
ISBN
9781475727142 / 1475727143
主題
Computers
Programmverifikation
作者
Krzysztof R. Apt / Ernst-Rüdiger Olderog
出版Springer-Verlag, 2013-03-07
ISBN
9783642579479 / 3642579477
主題
Computers
Terminologie économique allemand-français
作者
Günther Haensch / Rüdiger Renner
出版1962
ISBN
PSU:000062670173
主題
Economics
60 Jahre Deutschland
作者
Rüdiger Dingemann / Renate Lüdde
出版2009
ISBN
STANFORD:36105132895918
主題
Germany
(Ex-)Jugos
作者
Rüdiger Rossig
出版2008
ISBN
UOM:39015079302777
主題
Foreign workers, Yugoslav
Die Sicherung des Weltfriedens durch Regionale Org...
作者
Rüdiger Pernice
出版1972
ISBN
UOM:39015031648051
主題
Peace
Ex-Yugos
作者
Rüdiger Rossig
出版Hirnkost, 2012-01-01
ISBN
9783940213907 / 394021390X
主題
Social Science
(Ex-)Jugos
作者
Rüdiger Rossig
出版2008
ISBN
UOM:39015079302777
主題
Foreign workers, Yugoslav