Location & Availability for: Formal Aspects of Component Software : 8

 Staff view

You must be logged in to Tag Records

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

edited by Farhad Arbab, Peter Csaba Ölveczky.

Book Cover
Names: Arbab, Farhad. | Ölveczky, Peter Csaba.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: Lecture Notes in Computer Science, 7253
Topics: Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Mathematical Logic and Formal Languages. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Programming Techniques. | Management of Computing and Information Systems.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Formal Aspects of Component Software : 8