大葉大學圖書館 |

登入

回上页

Formal methods in software and syste...

Kreowski Hans-Jorg

Formal methods in software and systems modeling:essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

纪录类型:	书目-语言数据,印刷品 : Monograph/item
[NT 47271] Title/Author:	Formal methods in software and systems modeling:essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday/ Kreowski, Hans-Jorg;Montanari,Ugo;Orejas,Fernando [et al]
作者:	Kreowski Hans-Jorg
[NT 51406] other author:	MontanariUgo
出版者:	Berlin : Springer-Verlag, 2005
面页册数:	411頁; 24x16公分
标题:	Formal methods(Computer ...)
标题:	Computer software
标题:	Computer systems -- Design
ISBN:	3540249362(平裝)

Formal methods in software and systems modeling:essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Kreowski Hans-Jorg

Formal methods in software and systems modeling:essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayKreowski, Hans-Jorg;Montanari,Ugo;Orejas,Fernando [et al] - 1st ed - BerlinSpringer-Verlag2005 - 411頁24x16公分 - Lecture Notes in Computer Science3393.

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

208714
Formal methods(Computer ...)

Formal methods in software and systems modeling:essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
LDR:00540nam 2200157 450 001 187070
008 100623t2005 de a a 000 0 eng d
020 $a 3540249362(平裝)
035 $a 9420117
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a Kreowski Hans-Jorg $3 208711
245 1 0 $a Formal methods in software and systems modeling:essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday $c Kreowski, Hans-Jorg;Montanari,Ugo;Orejas,Fernando [et al]
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2005
300 $a 411頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 3393
650 $a Formal methods(Computer ...) $3 208714
650 $a Computer software $3 135372
650 $a Computer systems -- Design $3 208715
700 $a MontanariUgo $3 208712
700 $a OrejasFernando [et al] $3 208713