大葉大學圖書館 |

Language: English

Back

Teaching formal methods: CoLogNET/FM...

BouteRaymond T.

Teaching formal methods: CoLogNET/FME Symposium,TFM 2004,Ghent,Belgium,November 2004:proceedings

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Teaching formal methods: CoLogNET/FME Symposium,TFM 2004,Ghent,Belgium,November 2004:proceedings/ Dean,C.Neville;Boute,Raymond T.
Author:	DeanC.Neville
other author:	BouteRaymond T.
Published:	Berlin : Springer-Verlag, 2004
Description:	248頁; 24x16公分
Subject:	Formal methods (Computer scien
ISBN:	3540236112(平裝)

Teaching formal methods: CoLogNET/FME Symposium,TFM 2004,Ghent,Belgium,November 2004:proceedings
DeanC.Neville

Teaching formal methods: CoLogNET/FME Symposium,TFM 2004,Ghent,Belgium,November 2004:proceedingsDean,C.Neville;Boute,Raymond T. - 1st ed - BerlinSpringer-Verlag2004 - 248頁24x16公分 - Lecture Notes in Computer Science3294.

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

204364
Formal methods (Computer scien

Teaching formal methods: CoLogNET/FME Symposium,TFM 2004,Ghent,Belgium,November 2004:proceedings
LDR:00492nam 2200157 450 001 187675
008 100623t2004 de a a 000 0 eng d
020 $a 3540236112(平裝)
035 $a 9421844
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a DeanC.Neville $3 209846
245 1 0 $a Teaching formal methods: CoLogNET/FME Symposium,TFM 2004,Ghent,Belgium,November 2004:proceedings $c Dean,C.Neville;Boute,Raymond T.
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2004
300 $a 248頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 3294
650 $a Formal methods (Computer scien $3 204364
700 $a BouteRaymond T. $3 209847