HOME > 상세정보

상세정보

Modelling distributed systems

Modelling distributed systems (1회 대출)

자료유형
단행본
개인저자
Fokkink, Wan , 1965-.
서명 / 저자사항
Modelling distributed systems / Wan Fokkink.
발행사항
Berlin :   Springer-Verlag ,   2007.  
형태사항
viii, 151 p. : ill. ; 25 cm.
총서사항
Texts in theoret.computer science
ISBN
3540739378 9783540739371
서지주기
Includes bibliographical references and index.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004 F662m 등록번호 121158513 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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


정보제공 : Aladin

관련분야 신착자료