Location & Availability for: Formal methods for industrial critical s

 Staff view

You must be logged in to Tag Records

Formal methods for industrial critical systems [electronic resource] : a survey of applications /

edited by Stefania Gnesi, Instituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche. Pisa, Italy, Tiziana Margaria, University of Potsdam, Potsdam, Germany.

Book Cover
Names: Gnesi, Stefania, | Margaria-Steffen, Tiziana,
Published: [Washington, DC] : IEEE Computer Society ; [2013]
Topics: Formal methods (Computer science)
Genres: Electronic books.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Formal methods for industrial critical s