| 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 |
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: :
