Normal view
MARC view
Model Checking Software Электронный ресурс 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 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, Klaus Havelund, Rupak Majumdar, Jens Palsberg.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540851141Subject(s): Computer Science | Logic design | Software engineering | Computer Science | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software EngineeringOnline resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments on this title.