Research Catalog

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

Title: 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: FORTE 2002 (2002 : Houston, Tex.)
Publication: Berlin ; New York : Springer, c2002.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 02-2116	Offsite

Details

Additional Authors

Description

xi, 368 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 2529

Alternative Title

FORTE 2002
22nd IFIP WG 6.1 international conference

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 02-2116

ISBN

3540001417 (alk. paper)

LCCN

2002191126

OCLC

50898597

Conference

FORTE 2002 (2002 : Houston, Tex.)

Title

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.).

Imprint

Berlin ; New York : Springer, c2002.

Series

Lecture notes in computer science, 0302-9743 ; 2529

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Added Author

Peled, Doron A., 1962-

Vardi, Moshe Y.

Research Call Number

JSE 02-2116

View in Legacy Catalog