Tools

LEADER 02608cam a2200517Ia 4500

001 ocm59616880;

003 OCoLC;

005 20141211183222.0;

007 cr un---------;

008 050425s2005 gw a b 101 0 eng d;

010 a| 2005924063;

016 7 a| 97422622X2| GyFmDB;

020 a| 3540256970 (pbk.);

020 a| 9783540256977;

035 a| (Sirsi) o59616880;

035 a| (OCoLC)59616880;

049 a| EREE;

050 4 a| QA76.59b| .I589 2005;

111 2 a| International School on Formal Methods for the Design of Computer, Communication, and Software Systemsn| (5th :d| 2005 :c| Bertinoro, Italy)?| UNAUTHORIZED;

245 10 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 30 a| 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems;

246 3 a| Fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems;

246 30 a| International School on Formal Methods for the Design of Computer, Communication, and Software Systems;

246 30 a| SFM-Moby 2005;

260 a| Berlin ;a| New York :b| Springer,c| 2005.;

300 a| vi, 270 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 3465.a| Tutorial;

504 a| Includes bibliographical references and index.;

650 0 a| Mobile computingv| Congresses.=| ^A492800;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

650 0 a| Mobile communication systemsv| Congresses.=| ^A461101;

650 0 a| System designv| Congresses.=| ^A121730;

700 1 a| Bernardo, Marco.=| ^A565417;

700 1 a| Bogliolo, Alessandro.=| ^A600619;

830 0 a| Lecture notes in computer sciencev| 3465.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Tutorial.=| ^A583079;

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3465z| Restricted to SpringerLink subscribers;

994 a| C0b| ERE;

596 a| 1;

998 a| 1009542;

999 a| QA76.59 .I589 2005w| LCc| 1i| 30372012798564d| 2/12/2013f| 2/12/2013g| 1l| JGESm| JOYNERp| $57.95r| Ys| Yt| JGESBKu| 7/12/2005x| BOOKz| JSTACKSo| .STAFF. 0;

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.).

Author/creator	International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Other author	Bernardo, Marco.
Other author	Bogliolo, Alessandro.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	vi, 270 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Mobile computing--Congresses. Formal methods (Computer science)--Congresses. Computer software--Development. --Congresses. Mobile communication systems--Congresses. System design--Congresses.

Portion of title	5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Variant title	Fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Portion of title	International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Portion of title	SFM-Moby 2005
Series	Lecture notes in computer science, 0302-9743 ; 3465. Tutorial Lecture notes in computer science 3465. ^A466336 Lecture notes in computer science. Tutorial. ^A583079
Bibliography note	Includes bibliographical references and index.
LCCN	2005924063
ISBN	3540256970 (pbk.)
ISBN	9783540256977

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.59 .I589 2005	✔ Available	Place Hold

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.).

Click here for more information about this title

Availability