Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures: 3655 (Lecture Notes in Computer Science)
by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
ISBN 13: 9783540289555
Format: Illustrated (284 pages) Publisher: Springer Berlin Heidelberg Published: 12 Sep 2005
Save for later
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
by Roberto Gorrieri
ISBN 13: 9783319555584
Format: Hardcover (318 pages) Publisher: Springer Published: 25 Apr 2017