Library of American University of Madaba

Normal View MARC View ISBD View

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 Kumlonig, Monika Heiner, Adam Wolisz (eds.). - Berlin : Springer, 2003. - xii, 429 p. : ill. ; 24 cm. - Lecture notes in computer science, 2767 0302-9743 ; .

Includes bibliographical references and index.

ISBN: 3540201750 (alk. paper) 9783540201755

Subjects--Topical Terms:
Formal methods (Computer science)--Congresses.
Electronic data processing--Distributed processing--Congresses.
Computer network protocols--Congresses.

Dewey Class. No.: 004.0151 / F723