Formal Methods for Industrial Critical Systems

Elemento

Título (dcterms:title)

Formal Methods for Industrial Critical Systems

Autores (dcterms:creator)

Pecheur

Año Publicación (dcterms:date)

2013

Editorial (dcterms:publisher)

Springer Berlin Heidelberg

ISBN (bibo:isbn)

978-3-642-41009-3

eBook (bibo:isbn13)

978-3-642-41010-9

PDF (bibo:uri)

Colecciones

Not viewed