Cover Image

Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: FORTE 2002 Houston, Tex., SpringerLink (Online service)
Other Authors: Peled, Doron A., 1962-, Vardi, Moshe Y.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2002.
Series:Lecture notes in computer science ; 2529.
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
Show all versions (2)