Applied semantics
: advanced lectures / G. Barthe ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2395)
ISBN 978-3-540-45699-5
Lizenzpflichtig
Quelle: DNB
Construction and analysis of safe, secure, and interoperable smart devices
: second international workshop ; revised selected papers / CASSIS 2005, Nice, France, March 8 - 11, 2005. Gilles Barthe ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3956)
ISBN 978-3-540-33691-4
Lizenzpflichtig
Quelle: DNB
Construction and analysis of safe, secure, and interoperable smart devices
: second international workshop ; revised selected papers / CASSIS 2005, Nice, France, March 8 - 11, 2005. Gilles Barthe ... (ed.). - Berlin : Springer, 2006. - VI, 173 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3956)
ISBN 978-3-540-33689-1 / 3-540-33689-3 kart. : EUR 44.94 (freier Pr.), ca. sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5051)
ISBN 978-3-540-68863-1
Lizenzpflichtig
Quelle: DNB
Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ; Frank S. de Boer (ed.). - Berlin : Springer, 2008. - X, 258 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5051)
ISBN 978-3-540-68862-4 kart. : EUR 67.41 (freier Pr.), sfr 105.00 (freier Pr.)
Literaturangaben
Quelle: DNB
Trustworthy global computing
: third symposium ; revised selected papers / TGC 2007, Sophia-Antipolis, France, November 5 - 6, 2007. Gilles Barthe ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4912)
ISBN 978-3-540-78663-4
Lizenzpflichtig
Quelle: DNB
Trustworthy global computing
: third symposium ; revised selected papers / TGC 2007, Sophia-Antipolis, France, November 5 - 6, 2007. Gilles Barthe ; Cédric Fournet (ed.). - Berlin : Springer, 2008. - XI, 400 S. : graph. Darst., Kt.; 24 cm - (Lecture notes in computer science; Vol. 4912)
ISBN 978-3-540-78662-7 kart. : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
