Automated technology for verification and analysis
: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)
ISBN 978-3-540-88387-6
Lizenzpflichtig
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ Olaf Burkart. - Berlin : Springer, 1997. - X, 163 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1354)
ISBN 978-3-540-63982-4 / 3-540-63982-9 kart. : DM 50.00
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ O. Burkart. - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1354)
ISBN 978-3-540-69678-0
Lizenzpflichtig
Quelle: DNB
Živić, Nataša: Coding and cryptography
: synergy for a robust communication / Nataša Živić. - München : Oldenbourg, 2013. - VIII, 126 S. : graph. Darst.; 24 cm
ISBN 978-3-486-75212-0 / 3-486-75212-X kart. : EUR 69.95
Quelle: DNB Verlagsmeldungen
Compositionality
: the significant difference ; international symposium ; revised lectures / COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. Willem-Paul de Roever ... (ed.). - Berlin : Springer, 1998. - 646 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1536)
ISBN 978-3-540-65493-3 / 3-540-65493-3 kart. : DM 118.00
Literaturangaben
Quelle: DNB
Compositionality
: the significant difference ; international symposium ; revised lectures / COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. W.-P. de Roever ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1536)
ISBN 978-3-540-49213-9
Lizenzpflichtig
Quelle: DNB
Computer aided verification
: 16th international conference ; proceedings / CAV 2004, Boston, MA, USA, July 13 - 17, 2004. Rajeev Alur ; Doron A. Peled (ed.). - Berlin : Springer, 2004. - XII, 536 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3114)
ISBN 978-3-540-22342-9 / 3-540-22342-8 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer aided verification
: 8th international conference ; proceedings / CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Rajeev Alur ; Thomas A. Henzinger (ed.). - Berlin : Springer, 1996. - XII, 472 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1102)
ISBN 978-3-540-61474-6 / 3-540-61474-5 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 3rd international workshop ; proceedings / CAV '91, Aalborg, Denmark, July 1 - 4, 1991. K. G. Larsen ; A. Skou (ed.). - Berlin : Springer, 1992. - X, 487 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 575)
ISBN 978-3-540-55179-9 / 3-540-55179-4 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Computer aided verification
: fourth international workshop ; proceedings / CAV '92, Montreal, Canada, June 29 - July 1, 1992. G. v. Bochmann ; D. K. Probst (ed.). - Berlin : Springer, 1993. - IX, 422 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 663)
ISBN 978-3-540-56496-6 / 3-540-56496-9 kart. : DM 80.00
Literaturangaben
Quelle: DNB
