Location & Availability for: Foundations of Software Science and Comp

 Staff view

You must be logged in to Tag Records

Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /

edited by Lars Birkedal.

Book Cover
Names: Birkedal, Lars.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7213
Topics: Computer science. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Mathematical Logic and Formal Languages. | Computation by Abstract Devices. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Software Engineering. | Artificial Intelligence (incl. Robotics).
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Foundations of Software Science and Comp