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
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
Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ; Wolfgang Paul (ed.). - Berlin : Springer, 2005. - XII, 412 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3725)
ISBN 978-3-540-29105-3 / 3-540-29105-9 kart. : EUR 83.46 (freier Pr.), sfr 132.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2860)
ISBN 978-3-540-39724-3
Lizenzpflichtig
Quelle: DNB
Correct hardware design and verification methods
: 11th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2144)
ISBN 978-3-540-44798-6
Lizenzpflichtig
Quelle: DNB
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ; Enrico Tronci (ed.). - Berlin : Springer, 2003. - XII, 426 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2860)
ISBN 978-3-540-20363-6 / 3-540-20363-X kart. : EUR 77.04, sfr 119.50
Literaturangaben
Quelle: DNB
Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3725)
ISBN 978-3-540-32030-2
Lizenzpflichtig
Quelle: DNB
Formal approaches to software testing
: 5th international workshop ; revised selected papers / FATES 2005, Edinburgh, UK, July 11, 2005 / Wolfgang Grieskamp ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3997)
ISBN 978-3-540-34455-1
Lizenzpflichtig
Quelle: DNB
