Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science)
by Mark D. Ryan,Brigitte Rozoy,Franck Cassez,Claude Jard
ISBN 13: 9783540427872
Format: Paperback (244 pages) Publisher: Springer Published: 24 Oct 2001
Save for later
Privacy vs. Security (SpringerBriefs in Cybersecurity)
by Sophie Stalla-Bourdillon,Joshua Phillips,Mark D. Ryan
ISBN 13: 9781447165293
Format: Paperback (124 pages) Publisher: Springer Published: 08 Sep 2014