Normal view MARC view ISBD view

Formal methods for mobile computing : fifth 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

Material type: materialTypeLabel

BookSeries: 3465. Lecture notes in computer science.Publisher: Berlin: Springer, 2005Description: vi, 270 p.; : 24 cm.ISBN: 9783540256977 .Subject(s): Computer software | SFM-Moby | Formal methods | Mobile computing | System design | MobileDDC classification: 004

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		004 BER (Browse shelf)	Available		012852

Previous								Next
Previous	004 BER Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings	004 BER Digital and Image Geometry : Advanced Lectures	004 BER From semantics to computer science : essays in honour of Gilles Kahn	004 BER Formal methods for mobile computing : fifth 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	004 BER Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures	004 BIT Use case modeling	004 BLA Intelligent Search on XML Data: Applications, Languages, Models, Implementations and Benchmarks	Next

There are no comments for this item.

Koha online