
Formal Methods for Industrial Critical Systems
Mari Lle Stoelinga
₹5,130

Third Symposium
by TGC 2007 (2007 Sophia-Antipolis, France)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2008
Free delivery. Nothing extra to pay at checkout.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2008, Trustworthy Global Computing: Third Symposium by France) TGC 2007 (2007 Sophia-Antipolis runs to 401 pages.
The book deals with Congresses, Verification, Computer security and Computer networks.