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
Description
Physical Description:xi, 368 pages : illustrations ; 24 cm.
Also available via the World Wide Web.
Bibliography:Includes bibliographical references and index.
ISBN:3540001417 (alk. paper)