Location & Availability for: Formal methods : foundations and applica

 Staff view

You must be logged in to Tag Records

Formal methods [electronic resource] : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /

Rohit Gheyi, David Naumann (eds.).

Book Cover
Names: Gheyi, Rohit. | Naumann, David,
Published: Berlin ; Springer, c2012.
Topics: Formal methods (Computer science) - Congresses.
Genres: Electronic books.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Formal methods : foundations and applica