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
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
Ehrenberger, Wolfgang: Software-Verifikation
: Verfahren für den Zuverlässigkeitsnachweis von Software / Wolfgang Ehrenberger. - München : Hanser, 2002. - XIV, 366 S. : graph. Darst.; 24 cm
ISBN 978-3-446-21624-2 / 3-446-21624-3 kart. : EUR 44.90
Literaturverz. S. 349 - 358
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
