HOME > 상세정보

상세정보

Formal methods in computing

Formal methods in computing (2회 대출)

자료유형
단행본
개인저자
Ferenczi, M. (Miklos) Pataricza, Andras , 1954- Ronyai, Lajos.
단체저자명
Veszpremi Akademiai Bizottsag.
서명 / 저자사항
Formal methods in computing / edited by Ferenczi, M., Pataricza, A., Ronyai, L.
발행사항
Budapest :   Akademiai, Kiado ,   c2005.  
형태사항
ix, 425 p. : ill. ; 24 cm.
ISBN
9630582589 9789630582582
일반주기
"This collection of tutorials has been written by the members of the Working Group on Formal Methods at the Regional Centre of the Hungarian Academy of Sciences, Veszprem (VEAB)"--Pref.  
내용주기
Efficient algorithms / Ronyai, L., Pinter, B.M. -- Graph-theoretic methods and recent applications in computer science / Deogun, J.S., Tuza, Zs. -- Classical and non-classical logics / Ferenczi, M. -- Selected topics on automata / Imreh, B. -- An introduction to tree transducers /Feuleop, Z. -- Logic in computer science / Szeots, M. -- Finite-source queueing systems / Sztrik, J. -- Metamodeling and model transformations / Pataricza, A., Varro, D.
서지주기
Includes bibliographical references.
일반주제명
Formal methods (Computer science)
000 01535camuu2200289 a 4500
001 000045408832
005 20071220112549
008 071217s2005 hu a b 000 0 eng d
020 ▼a 9630582589
020 ▼a 9789630582582
040 ▼a GSU ▼c GSU ▼d 211009
050 4 ▼a QA76.9.F67 ▼b F65 2005
082 0 4 ▼a 004.0151 ▼2 22
090 ▼a 004.0151 ▼b F723
245 0 0 ▼a Formal methods in computing / ▼c edited by Ferenczi, M., Pataricza, A., Ronyai, L.
260 ▼a Budapest : ▼b Akademiai, Kiado , ▼c c2005.
300 ▼a ix, 425 p. : ▼b ill. ; ▼c 24 cm.
500 ▼a "This collection of tutorials has been written by the members of the Working Group on Formal Methods at the Regional Centre of the Hungarian Academy of Sciences, Veszprem (VEAB)"--Pref.
504 ▼a Includes bibliographical references.
505 0 ▼a Efficient algorithms / Ronyai, L., Pinter, B.M. -- Graph-theoretic methods and recent applications in computer science / Deogun, J.S., Tuza, Zs. -- Classical and non-classical logics / Ferenczi, M. -- Selected topics on automata / Imreh, B. -- An introduction to tree transducers /Feuleop, Z. -- Logic in computer science / Szeots, M. -- Finite-source queueing systems / Sztrik, J. -- Metamodeling and model transformations / Pataricza, A., Varro, D.
650 0 ▼a Formal methods (Computer science)
700 1 ▼a Ferenczi, M. ▼q (Miklos)
700 1 ▼a Pataricza, Andras , ▼d 1954-
700 1 ▼a Ronyai, Lajos.
710 2 ▼a Veszpremi Akademiai Bizottsag.
945 ▼a KINS

소장정보

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

관련분야 신착자료

김자미 (2021)