Library home

My Library

Result page:

PRINT ITEM

Title

Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / David Lee, Anto?nia Lopes, Arnd Poetzsch-Heffter (eds.).

Conference

International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal)

Published

Springer-Verlag New York Inc 2009.

ITEM LOCATION	CALL NO.	STATUS
GIP Main	005.131 I61.8 2009	AVAILABLE

Descript.	xii, 248 pages : illustrations ; 24 cm.
Series	Lecture notes in computer science, 0302-9743 ; 5522
	Lecture notes in computer science ; 5522.
Bibliog.	Includes bibliographical references and index.
Subject	Electronic data processing -- Distributed processing -- Congresses.
	Object-oriented programming (Computer science) -- Congresses.
	Formal methods (Computer science) -- Congresses.
Other Author	Lee, David.
	Lopes, Anto?nia.
	Poetzsch-Heffter, Arnd.
	FORTE 2009 (2009 : Lisbon, Portugal)
ISBN	9783642021374
	3642021379

Bookmark link for this record

Result page: