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 Author: FORTE 2002 Houston, Tex.
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.
Online Access:http://link.springer-ny.com/link/service/series/0558/tocs/t2529.htm

Internet

http://link.springer-ny.com/link/service/series/0558/tocs/t2529.htm

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.F67 F67 2002
 
Call Number Status Get It
QA76.9.F67 F67 2002 Available