> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Teaching Formal Methods: An Undergraduate Course on Protocol Engineering – How to Teach Formal Methods Without Scaring Students Beteiligte: Fernández-Iglesias, Manuel J.; Llamas-Nistal, Martín Erschienen: Springer Berlin Heidelberg, 2004 Erschienen in: Teaching Formal Methods (2004), Seite 153-165 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-540-30472-2_10 ISBN: 9783540236115; 9783540304722 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: