Normal view MARC view ISBD view

Formal Techniques for Networked and Distributed Systems – FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih.

By:

Contributor(s):

Material type:

Computer fileSeries: Lecture Notes in Computer Science ; 5048Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Edition: 1a edDescription: v.: digitalISBN:

Subject(s):

LOC classification:

Online resources:

In: Springer eBooks

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Date due	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	QA76.9.F67 S99 2008 (Browse shelf(Opens below))	Link to resource	1	Available	SpringerLink		BDIG00009839

Previous								Next
Previous	QA76.9.F67 N34 2006 Formal Techniques for Networked and Distributed Systems - FORTE 2006	QA76.9.F67 R66 2005 Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /	QA76.9.F67 S65 2007 Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /	QA76.9.F67 S99 2008 Formal Techniques for Networked and Distributed Systems – FORTE 2008	QA76.9 F67 W36 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005	QA76.9.H45 S36 2007 Foundations of Augmented Cognition	QA76.9.H85 A95 2007 Usability and Internationalization. Global and Local User Interfaces Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II /	Next

There are no comments on this title.

to post a comment.