Cover image for
Title:
Automated Technology for Verification and Analysis [electronic resource] : 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.
Author:
Hutchison, David.
Published:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Series:
Lecture notes in computer science ; 5311.
Notes:
Interim record for SpringerLink e-book 2008.
Other Authors:
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)
ISBN:
9783540883876
Online Access:
e-book

Available:*

Library
Material Type
Call Number
Status
Searching...
Electronic Book XX(610715.2)
Searching...

On Order

Summary

Summary