Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /

Bibliographic Details
Corporate Authors:	FORTE 2004 Madrid, Spain, SpringerLink (Online service), IFIP Working Group 6.1
Other Authors:	Frutos-Escrig, David de, Núñez, Manuel (Professor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 3235.
Subjects:	Formal methods (Computer science) > Congresses. Electronic data processing > Distributed processing > Congresses. Computer network protocols > Congresses. Computer network protocols. Electronic data processing > Distributed processing. Formal methods (Computer science) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online