Breugel, Franck van: Comparative metric semantics of programming languages
: nondeterminism and recursion / Franck van Breugel. - Boston : Birkhäuser, 1998. - XIX, 220 S. : graph. Darst.; 25 cm - (Progress in theoretical computer science)
ISBN 978-3-7643-3927-2 / 3-7643-3927-6 Pp. : sfr 118.00
Literaturverz. S. 201 - 216
Quelle: DNB
Domain modeling and the duration calculus
: international training school, Shanghai, China, September 17 - 21, 2007 ; advanced lectures / Chris W. George ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4710)
ISBN 978-3-540-74964-6
Lizenzpflichtig
Quelle: DNB
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
