HOME > Detail View

Detail View

Formal methods in computing

Formal methods in computing (Loan 2 times)

Material type
단행본
Personal Author
Ferenczi, M. (Miklos) Pataricza, Andras , 1954- Ronyai, Lajos.
Corporate Author
Veszpremi Akademiai Bizottsag.
Title Statement
Formal methods in computing / edited by Ferenczi, M., Pataricza, A., Ronyai, L.
Publication, Distribution, etc
Budapest :   Akademiai, Kiado ,   c2005.  
Physical Medium
ix, 425 p. : ill. ; 24 cm.
ISBN
9630582589 9789630582582
General Note
"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.  
Content Notes
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.
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
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

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.0151 F723 Accession No. 121162032 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields

김자미 (2021)