語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Formal methods at the crossroads = f...
~
Aichernig, Bernhard K., (1969-)
Formal methods at the crossroads = from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /
紀錄類型:
書目-語言資料,印刷品 : 單行本
正題名/作者:
Formal methods at the crossroads/ Bernhard K. Aichernig, Tom Maibaum (eds.).
其他題名:
from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /
其他作者:
Aichernig, Bernhard K.,
出版者:
Berlin ;Springer-Verlag, : c2003.,
面頁冊數:
xiv, 453 p. :ill., digital ; : 24 cm.;
叢書名:
Lecture notes in computer science ;
Contained By:
Springer e-books
標題:
Software engineering - Congresses. -
電子資源:
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-20527-2
ISBN:
9783540205272 (paper)
Formal methods at the crossroads = from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /
Formal methods at the crossroads
from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /[electronic resource] :Bernhard K. Aichernig, Tom Maibaum (eds.). - Berlin ;Springer-Verlag,c2003. - xiv, 453 p. :ill., digital ;24 cm. - Lecture notes in computer science ;2757.
ISBN: 9783540205272 (paper)Subjects--Topical Terms:
539669
Software engineering
--Congresses.
LC Class. No.: QA76.758 / F67 2003
Dewey Class. No.: 005.1
Formal methods at the crossroads = from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /
LDR
:00999nam 2200217 a 4500
001
411787
005
20130114153137
006
m d
007
cr nn 008maaau
008
080807s2003 gw j eng d
020
$a
9783540205272 (paper)
035
$a
28139
050
0 0
$a
QA76.758
$b
F67 2003
082
0 0
$a
005.1
090
$a
QA76.758
$b
F723 2003
245
0 0
$a
Formal methods at the crossroads
$h
[electronic resource] :
$b
from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /
$c
Bernhard K. Aichernig, Tom Maibaum (eds.).
260
$a
Berlin ;
$a
New York :
$b
Springer-Verlag,
$c
c2003.
300
$a
xiv, 453 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science ;
$v
2757
650
0
$a
Software engineering
$v
Congresses.
$3
539669
700
1
$a
Aichernig, Bernhard K.,
$d
1969-
$3
553135
700
1
$a
Maibaum, Thomas S. E.,
$d
1947-
$3
553136
710
2
$a
SpringerLink (Online service)
$3
537984
773
0
$t
Springer e-books
856
4 0
$u
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-20527-2
950
$a
Computer Science (Lecture Notes in Computer Science)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
修改密碼
登入