Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Formal Methods for Components and Objects Электронный ресурс 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

By: Boer, Frank SContributor(s): Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007ISBN: 9783540747925Subject(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.