Cremers, Cas: Operational semantics and verification of security protocols
/ Cas Cremers ; Sjouke Mauw. - Heidelberg : Springer, 2012. - XIII, 172 S.; 24 cm - (Information security and cryptography)
ISBN 978-3-540-78635-1 Pp. : ca. EUR 53.45 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Godefroid, Patrice: Partial order methods for the verification of concurrent systems
: an approach to the state explosion problem / Patrice Godefroid. - Berlin : Springer, 1996. - 142 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1032)
ISBN 978-3-540-60761-8 / 3-540-60761-7 kart. : DM 38.00
Literaturverz. S. 133 - 142
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ; Stephen Gilmore (ed.). - Berlin : Springer, 2001. - XII, 215 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2165)
ISBN 978-3-540-42556-4 / 3-540-42556-X kart. : DM 70.62
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. L. de Alfaro ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2165)
ISBN 978-3-540-44804-4
Lizenzpflichtig
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; second joint international workshop ; proceedings / PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002. H. Hermanns ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2399)
ISBN 978-3-540-45605-6
Lizenzpflichtig
Quelle: DNB
König, Hartmut: Protocol engineering
: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen / Hartmut König. - 1. Aufl. - Stuttgart : Teubner, 2003. - XIII, 496 S. : graph. Darst.; 24 cm - (Leitfäden der Informatik)
ISBN 978-3-519-00454-7 / 3-519-00454-2 kart. : EUR 39.90, sfr 67.00
Literaturverz. S. 471 - 482
Quelle: DNB
Theory and practice of computer science
: proceedings / SOFSEM 2009, 35th Conference on Current Trends in Theory and Practice of Computer Science Špindler°uv Mlýn, Czech Republic, January 24 - 30, 2009. Mogens Nielsen ... (ed.). - Berlin : Springer, 2009. - Online-Ressource - (Lecture notes in computer science; 5404)
ISBN 978-3-540-95891-8
Lizenzpflichtig
Quelle: DNB
Esparza, Javier: Unfoldings
: a partial order approach to model checking / Javier Esparza ; Keijo Heljanko. - Berlin : Springer, 2008. - XII, 169 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-77425-9 Pp. : EUR 58.80 (freier Pr.)
Literaturverz. S. 157 - 164
Quelle: DNB Verlagsmeldungen
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - XV, 782 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2772)
ISBN 978-3-540-21002-3 / 3-540-21002-4 kart. : EUR 83.46 (freier Pr.), sfr 132.00
Quelle: DNB Verlagsmeldungen
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2772)
ISBN 978-3-540-39910-0
Lizenzpflichtig
Quelle: DNB
