Location & Availability for: Formal Methods: Foundations and Applicat

 Staff view

You must be logged in to Tag Records

Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /

edited by Rohit Gheyi, David Naumann.

Book Cover
Names: Gheyi, Rohit. | Naumann, David.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: Lecture Notes in Computer Science, 7498
Topics: Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Mathematical Logic and Formal Languages. | Programming Languages, Compilers, Interpreters. | Management of Computing and Information Systems. | Computer Science, general.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Formal Methods: Foundations and Applicat