Software safety and security electronic resource : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann

Författare: Germany) (2011 NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat