Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Automated Technology for Verification and Analysis Электронный ресурс 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.

By: Hutchison, DavidContributor(s): Cha, Sungdeok (Steve) | Choi, Jin-Young | Kanade, Takeo | Kim, Moonzoo | Kittler, Josef | Kleinberg, Jon M | Lee, Insup | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Viswanathan, Mahesh | Weikum, Gerhard | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008ISBN: 9783540883876Subject(s): Computer Communication Networks | Computer Science | Information systems | Logic design | Software engineering | Computer Science | Computer Communication Networks | Information Systems and Communication Service | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software Engineering | Special Purpose and Application-Based SystemsOnline resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.
Share