Rewriting, computation and proof
: essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday ; [Festschrift] / Hubert Comon-Lundh ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4600)
ISBN 978-3-540-73147-4
Lizenzpflichtig
Quelle: DNB
Runtime verification
: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)
ISBN 978-3-540-89247-2
Lizenzpflichtig
Quelle: DNB
Runtime verification
: 7th international workshop / RV 2007, Vancover, Canada, March 13, 2007. Oleg Sokolsky ; Serdar Taşıran (ed.). - Berlin : Springer, 2007. - VIII, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4839)
ISBN 978-3-540-77394-8 / 3-540-77394-0 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Scenarios: models, transformations and tools
: international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers / Stefan Leue ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3466)
ISBN 978-3-540-32032-6
Lizenzpflichtig
Quelle: DNB
Scenarios: models, transformations and tools
: international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers / Stefan Leue ; Tarja Johanna Systä (ed.). - Berlin : Heidelberg ; New York : Springer, 2005. - XII, 277 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3466)
ISBN 978-3-540-26189-6 / 3-540-26189-3 kart.
Literaturangaben
Quelle: DNB
Chen, Qingfeng: Secure transaction protocol analysis
: models and applications / Qingfeng Chen ; Chengqi Zhang ; Shichao Zhang. - Berlin : Springer, 2008. - XI, 234 S.; 24 cm - (Lecture notes in computer science; Vol. 5111)
ISBN 978-3-540-85073-1 kart. : EUR 43.34 (freier Pr.), sfr 67.50 (freier Pr.)
Literaturverz. S. 223 - 231
Quelle: DNB Verlagsmeldungen
Secure transaction protocol analysis
: models and applications / Qingfeng Chen .... - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5111)
ISBN 978-3-540-85074-8
Lizenzpflichtig
Quelle: DNB
Software intensive systems and new computing paradigms
: challenges and visions / Martin Wirsing ... (ed.). - Berlin : Springer, 2008. - X, 265 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; 5380)
ISBN 978-3-540-89436-0 kart. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Static analysis
: 14th international symposium ; proceedings / SAS 2007, Kongens Lyngby, Denmark, August 22 - 24, 2007. Hanne Riis Nielson ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4634)
ISBN 978-3-540-74061-2
Lizenzpflichtig
Quelle: DNB
Static analysis
: 13th international symposium ; proceedings / SAS 2006, Seoul, Korea, August 29 - 31, 2006. Kwangkeun Yi (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4134)
ISBN 978-3-540-37758-0
Lizenzpflichtig
Quelle: DNB
