Computer Aided Verification [electronic resource] 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 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, Aarti Gupta, Sharad Malik.

Hutchison, David. (författare)

Gupta, Aarti. (författare)

Kanade, Takeo. (författare)

visa fler...

Kittler, Josef. (författare)

Kleinberg, Jon M. (författare)

Malik, Sharad. (författare)

Mattern, Friedemann. (författare)

Mitchell, John C. (författare)

Naor, Moni. (författare)

Nierstrasz, Oscar. (författare)

Pandu Rangan, C. (författare)

Steffen, Bernhard. (författare)

Sudan, Madhu. (författare)

Terzopoulos, Demetri. (författare)

Tygar, Doug. (författare)

Vardi, Moshe Y. (författare)

Weikum, Gerhard. (författare)

visa färre...

ISBN 9783540705451

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008

Engelska

Serie: Lecture Notes in Computer Science, 0302-9743 ; 5123

Relaterad länk:

http://dx.doi.org/10... (Table of Contents / Abstracts) (856other)

• swepub:Mat__t