HOME > Detail View

Detail View

Modelling distributed systems

Modelling distributed systems (Loan 1 times)

Material type
단행본
Personal Author
Fokkink, Wan , 1965-.
Title Statement
Modelling distributed systems / Wan Fokkink.
Publication, Distribution, etc
Berlin :   Springer-Verlag ,   2007.  
Physical Medium
viii, 151 p. : ill. ; 25 cm.
Series Statement
Texts in theoret.computer science
ISBN
3540739378 9783540739371
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Electronic data processing -- Distributed processing.
000 00771namuu2200241 a 4500
001 000045398164
005 20071108142719
008 071108s2007 gw a b 001 0 eng d
010 ▼a 2007933179
020 ▼a 3540739378
020 ▼a 9783540739371
040 ▼a 211009 ▼c 211009 ▼d 211009
082 0 4 ▼a 004.36 ▼2 22
090 ▼a 004.36 ▼b F662m
100 1 ▼a Fokkink, Wan , ▼d 1965-.
245 1 0 ▼a Modelling distributed systems / ▼c Wan Fokkink.
260 ▼a Berlin : ▼b Springer-Verlag , ▼c 2007.
300 ▼a viii, 151 p. : ▼b ill. ; ▼c 25 cm.
440 ▼a Texts in theoret.computer science
504 ▼a Includes bibliographical references and index.
650 0 ▼a Electronic data processing ▼x Distributed processing.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004 F662m Accession No. 121158513 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Abstract Data Types.- Process Algebra.- Hiding Internal Transitions.- Protocol Specifications.- Linear Process Equations.- Verification Algorithms on State Spaces.- Symbolic Methods.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김효곤 (2022)