大葉大學圖書館 |

登入

回首頁

Formal methods at the crossroads: fr...

AichernigBernhard K.

Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,.../ Aichernig,Bernhard K.;Maibaum,Tom
作者:	AichernigBernhard K.
其他作者:	MaibaumTom
出版者:	Berlin : Springer-Verlag, 2003
面頁冊數:	453頁; 24x16公分
標題:	Software engineering -Congress
ISBN:	3540205276(平裝)

Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,...
AichernigBernhard K.

Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,...Aichernig,Bernhard K.;Maibaum,Tom - 1st ed - BerlinSpringer-Verlag2003 - 453頁24x16公分 - Lecture Notes in Computer Science2757.

ISBN: 3540205276(平裝)Subjects--Topical Terms:

211077
Software engineering -Congress

Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,...
LDR:00513nam 2200157 450 001 190324
008 100623t2003 de a a 000 0 eng d
020 $a 3540205276(平裝)
035 $a 9427515
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a AichernigBernhard K. $3 214601
245 1 0 $a Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,... $c Aichernig,Bernhard K.;Maibaum,Tom
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2003
300 $a 453頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 2757
650 $a Software engineering -Congress $3 211077
700 $a MaibaumTom $3 214602