Modelling distributed systems /

Bibliographic Details
Main Author:	Fokkink, Wan, 1965-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin : Springer, 2007.
Series:	Texts in theoretical computer science.
Subjects:	Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Symbolic and Algebraic Manipulation. Theory of Computation. Electronic data processing > Distributed processing. Parallel processing (Electronic computers) Parallel programs (Computer programs) > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic book. Electronic resource. Title from title screen (viewed on Mar. 6, 2008).
Physical Description:	viii, 151 pages : illustrations ; 24 cm.
Format:	Mode of access: World Wide Web. System requirements: Web browser.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540739386 9783540739388
DOI:	10.1007/978-3-540-73938-8
Access:	Digital content provided by Springer; access may be restricted to users at subscribing institutions.