Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.)

Author(s): FORTE 2002 (2002 : Houston, Tex.)
Location:
Retrieving Holdings Information
Subjects: Formal methods (Computer science)--Congresses
Electronic data processing--Distributed processing--Congresses
Computer network protocols--Congresses
Formats: Electronic Resource, Remote
Material Type: Books
Language: English
Audience: Unspecified
Published: Berlin ; New York : Springer, 2002
Series: Lecture notes in computer science 2529
LC Classification: Q, QA
Physical Description: xi, 368 p. : ill. ; 24 cm
Additional Authors: Peled, Doron, 1962-
Vardi, Moshe Y
Notes: LCCN: 2002191126
ISBN: 3540001417 (alk. paper)
Includes bibliographical references and index
Also available via the World Wide Web
OCLC Number: 50898597
ISBN/ISSN: 3540001417