Formal techniques for networked and distributed systems
Published by : Kluwer Academic, (New York :) Physical details: xii, 458 p. : ill.
Subject(s):
Electronic data processing
--
Distributed processing
--
Congresses.
|
Formal methods (Computer science)
--
Congresses.
|
Electronic books.
Year: 2001
Online resources:
-
http://site.ebrary.com/lib/rucke/Doc?id=10052659
- An electronic book accessible through the World Wide Web; click to view
No physical items for this record
Includes bibliographical references and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments on this title.