Normal view
MARC view
Abstract State Machines, B and Z Электронный ресурс First International Conference, ABZ 2008, London, UK, September 16-18, 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, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540876038Subject(s): Computer Science | Database management | Logic design | Software engineering | Computer Science | Database Management | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | 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.
Log in to your account to post a comment.