Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only

Conference

Title Formal techniques for networked and distributed systems [electronic resource] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / edited by Myungchul Kim ... [et al.].

Imprint

New York : Kluwer Academic, c2001.

Connect to
Available to Pittsburg State University patrons only.

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	xii, 458 p. : ill.
Bibliography	Includes bibliographical references and index.
Reproduction	Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject	Electronic data processing -- Distributed processing -- Congresses.
	Formal methods (Computer science) -- Congresses.
Genre/Form	Electronic books.
Added Author	Kim, Myungchul.
	ProQuest (Firm)
ISBN	0792374703