Scientific Library of Tomsk State University

   E-catalog        

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.

By: Hutchison, DavidContributor(s): Boer, Frank S | Bonsangue, Marcello M | Graf, Susanne | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Roever, Willem-Paul | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service)Material type: Computer fileComputer 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 eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.
Share