Ergebnisse filtern
-
- 6
- 3
-
- 2
- 3
- 2
- 1
- 1
-
- 7
- 1
- 1
-
- 7
- 2
-
- 9
-
- 9
-
- 9
-
Degano / Guttman Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12458-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Degano / Guttman Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected PapersErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-12459-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Degano / Guttman Principles of Security and Trust
First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28640-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guttman / Wand VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 19951. Auflage 2012Verlag: SpringerISBN: 978-1-4613-5991-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guttman / Wand VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 19951. Auflage 1995Verlag: Springer Nature B.V.ISBN: 978-0-7923-9566-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Degano / Guttman Principles of Security and Trust
First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-28641-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Degano / Guttman / Martinelli Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01464-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guttman / Landwehr / Meseguer Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19051-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guttman / Landwehr / Meseguer Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. MeadowsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-19052-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
