Research Catalog

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29-October 2, 2003, proceedings

Title: Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29-October 2, 2003, proceedings / Hartmut König, Monika Heiner, Adam Wolisz, eds.
Author: FORTE 2003 (2003 : Berlin, Germany)
Publication: Berlin ; New York : Springer, c2003.

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 03-1956	Offsite

Details

Additional Authors

Description

xii, 429 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 2767

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 03-1956

ISBN

3540201750 (alk. paper)

LCCN

2003062850

OCLC

53038496

Conference

FORTE 2003 (2003 : Berlin, Germany)

Title

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29-October 2, 2003, proceedings / Hartmut König, Monika Heiner, Adam Wolisz, eds.

Imprint

Berlin ; New York : Springer, c2003.

Series

Lecture notes in computer science ; 2767

Bibliography

Includes bibliographical references and index.

Added Author

König, Hartmut, Prof. Dr.-Ing. habil.

Heiner, Monika, 1954-

Wolisz, Adam.

Research Call Number

JSE 03-1956

View in Legacy Catalog