Selected papers automated analysis (2 Ergebnisse)

Paperback. Zustand: Good. Edited versions of selected papers from the second international conference on Logic, Informatics, Law held in Florence, Italy, in September 1985. Text entirely in English. Edited by Antonio A Martino and Fiorenza Socci Natali. Published by Elsevier, Amsterdam, 1986. Hardcover in blue cloth, no dust jacket. Pages age-browned. Otherwise in very good condition. …

Taschenbuch. Zustand: Neu. Foundations and Applications of Security Analysis | Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers | Pierpaolo Degano (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642034589 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…