國立高雄大學圖資館 |

Language: English

Back

Formal methods for mobile computing ...

(1998 :)

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal methods for mobile computing :Marco Bernardo, Alessandro Bogliolo (eds.).
Reminder of title:	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 /
remainder title:	SFM-Moby 2005.
other author:	Bernardo, Marco.
corporate name:
Published:	Berlin :Springer,c2005.
Description:	vi, 270 p. :ill. ;24 cm.
Subject:	Formal methods (Computer science)
ISBN:	3540256970 (pbk.) :

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 /
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 /SFM-Moby 2005.Marco Bernardo, Alessandro Bogliolo (eds.). - Berlin :Springer,c2005. - vi, 270 p. :ill. ;24 cm. - Lecture notes in computer science ;3465. - Lecture notes in computer science ;4891..

Includes bibliographical references and index.

ISBN: 3540256970 (pbk.) :NT1706

LCCN: 2005924063Subjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.54 / .I575 2005

Dewey Class. No.: 005.13/1

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 /
LDR:01006nam 22002295a 450 001 161556
003 DLC
005 20060102113307.0
008 090528s2005 gw a 101 0 eng d
010 $a 2005924063
020 $a 3540256970 (pbk.) : $c NT1706
035 $a 00147801
040 $a HUA $c HUA $d DLC
042 $a lccopycat
050 0 0 $a QA76.54 $b .I575 2005
082 0 0 $2 22 $a 005.13/1
111 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Formal methods for mobile computing : $b 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 / $c Marco Bernardo, Alessandro Bogliolo (eds.).
246 3 0 $a SFM-Moby 2005.
246 3 0 $a 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : $b SFM-Moby 2005.
260 $a Berlin : $c c2005. $b Springer,
300 $a vi, 270 p. : $b ill. ; $c 24 cm.
490 1 $a Lecture notes in computer science ; $a Tutorial. $v 3465
504 $a Includes bibliographical references and index.
650 $a Formal methods (Computer science) $3 277520
650 $a Mobile computing $v Congresses. $3 438565
650 $a Computer software $3 252618
650 $a System design $v Congresses. $3 438566
700 $a Bernardo, Marco. $3 226494
700 $a Bogliolo, Alessandro. $3 226495
830 $a Lecture notes in computer science ; $v 4891. $3 383229
830 $a Lecture notes in computer science ; $p Tutorial. $3 226501