大葉大學圖書館 |

登入

回首頁

Formal methods for software architec...

Bernardo Marco

Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,.../ Bernardo, Marco;Inverardi,Paola
作者:	Bernardo Marco
其他作者:	InverardiPaola
出版者:	Berlin : Springer-Verlag, 2003
面頁冊數:	285頁; 24x16公分
標題:	Computer software
標題:	Computer architecture
標題:	System design
ISBN:	3540200835(平裝)

Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,...
Bernardo Marco

Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,...Bernardo, Marco;Inverardi,Paola - 1st ed - BerlinSpringer-Verlag2003 - 285頁24x16公分 - Lecture Notes in Computer Science2804.

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

135372
Computer software

Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,...
LDR:00514nam 2200157 450 001 186591
008 100623t2003 de a a 000 0 eng d
020 $a 3540200835(平裝)
035 $a 9418241
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a Bernardo Marco $3 206116
245 1 0 $a Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,... $c Bernardo, Marco;Inverardi,Paola
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2003
300 $a 285頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 2804
650 $a Computer software $3 135372
650 $a Computer architecture $3 135271
650 $a System design $3 135209
700 $a InverardiPaola $3 207777