검색>상세검색 : NDDL 포털

LDR
01093nam 2200289 k 4500
001
000000674430
005
2051130121000
008
971028s1996 gw a 001a eng
020
▼a 3540610421:
▼c DM86.00
040
▼a 248023
▼c 248023
049
▼l EM129031
082
▼a 001.6424
090
▼a 001.6424
▼b M327t
100
▼a Margaria, Tiziana.
245
▼a  Tools and algorithms for the construction and analysis of systems/
▼d  by Tiziana Margaria;
▼e  Bernhard Steffen.
260
▼a  Berlin:
▼b  Springer,
▼c  1996.
300
▼a  xi,434p.:
▼b  illus.;
▼c  24cm.
440
▼a Lecture notes in computer science;
▼v v.1055
500
▼a Second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996
504
▼a Includes bibliographical references and index
653
▼a  TOOLS
▼a  ALGORITHMS
▼a  CONSTRUCTION
▼a  ANALYSIS
▼a  SYSTEMS
700
▼a Steffen, Bernhard,
▼e jt,
711
▼a  International workshop, TACAS '96.
▼n  (2nd:
▼d  1996:
▼c  Passau, Germany)
950
▼b \46900
965
▼a System design
965
▼a Computer software-
▼x development
965
▼a Electronic data processing-
▼x distributed processing
991
▼a 단행본
090
▼a 001.6424
▼b M327t

자료유형 :	단행본
ISBN :	3540610421:
분류기호 :	001.6424
개인저자 :	Margaria, Tiziana.
서명/저자사항 :	Tools and algorithms for the construction and analysis of systems/ by Tiziana Margaria; Bernhard Steffen.
발행사항 :	Berlin: Springer, 1996.
형태사항 :	xi,434p.: illus.; 24cm.
총서사항 :	Lecture notes in computer science; v.1055
일반주기 :	Second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996
서지주기 :	Includes bibliographical references and index
개인저자 :	Steffen, Bernhard, jt,
회의명 :	International workshop, TACAS '96. (2nd: 1996: Passau, Germany)
분류기호 :	001.6424
언어	영어

국방전자도서관NDDL 포털