切換：
- 簡略
- 詳細(MARC)
- ISBD
-
Formal methods for mobile computing:5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
紀錄類型 ： 書目-語言資料,印刷品: 單行本
副題名 ： 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
合作者 ： BernardoMarco,
合作者 ： BoglioloAlessandro,
團體作者 ： International School on Formal Methods for the Design of Computer, Communication, and Software Systems : 2005
出版地 ： Berlin
出版者 ： Springer;
出版年 ： c2005
面頁冊數 ： vi, 270 p.ill. : 24 cm;
集叢名 ： Lecture notes in computer science3465
標題 ： Computer software - Congresses -
標題 ： Formal methods (Computer science) - Congresses -
標題 ： Mobile computing - Congresses -
標題 ： System design - Congresses -
ISBN ： 3540256970
LEADER 01075cam 2200253 n 450
001 109340
005 20110310073302.0
009 1464440
009 113650
010 1 $a3540256970$bpbk.$dNT1792
100 $a20110308d2005 m y0engy09 b
101 $aeng
102 $ade
105 $aa z 001yy
200 1 $aFormal methods for mobile computing$e5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures$fMarco Bernardo, Alessandro Bogliolo (eds.)
210 $aBerlin$dc2005$cSpringer
215 1 $avi, 270 p.$cill.$d24 cm
225 0 $aLecture notes in computer science$v3465
310 $aOnline version also available
320 $aIncludes bibliographical references and index
517 1 $a5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems$e : SFM-Moby 2005
517 1 $aSFM-Moby 2005
606 $aComputer software$xCongresses$2lc$3142722
606 $aFormal methods (Computer science)$xCongresses$2lc$3142723
606 $aMobile computing$xCongresses$2lc$3142724
606 $aSystem design$xCongresses$2lc$3142725
676 $a005.131$bI61
680 $aQA76 .L43$bV3465 2005
701 1$aBernardo$bMarco$3142719
701 1$aBogliolo$bAlessandro$3142720
710 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems$e : Bertinoro, Italy)$d (5th$f : 2005$3142721
801 0$acw$b聖約翰科技大學圖書館$c20061025$gAACR2
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures / Marco Bernardo, Alessandro Bogliolo (eds.) - Berlin : Springer, c2005. - vi, 270 p. ; ill. ; 24 cm. - (Lecture notes in computer science ; 3465).
Includes bibliographical references and index .
ISBN 3540256970
Computer softwareFormal methods (Computer science)Mobile computingSystem design -- Congresses -- Congresses -- Congresses -- Congresses
Bernardo, Marco
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures / Marco Bernardo, Alessandro Bogliolo (eds.) - Berlin : Springer, c2005. - vi, 270 p. ; ill. ; 24 cm. - (Lecture notes in computer science ; 3465).
Includes bibliographical references and index .
ISBN 3540256970
Computer softwareFormal methods (Computer science)Mobile computingSystem design -- Congresses -- Congresses -- Congresses -- Congresses
Bernardo, Marco
- 館藏(1)
- 心得(0)
- 標籤
發表心得