ID:DA14707123
Teaching formal methods
Symposium on Teaching formal methods
CoLogNET/FME Symposium, TFM
同姓同名の著者を検索
Jeremy Gibbons, José Nuno Oliveira (eds.)
Springer c2009 Lecture notes in computer science 5846
所蔵館1館
C. Neville Dean, Raymond T. Boute (eds.)
Springer c2004 Lecture notes in computer science 3294
所蔵館12館