Normal view
MARC view
Formal Methods for Components and Objects Электронный ресурс 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / 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, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008ISBN: 9783540921882Subject(s): Computer Science | Logic design | Operating systems (Computers) | Software engineering | Computer Science | Logics and Meanings of Programs | Operating Systems | 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.