FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.). (Lecture notes in computer science)
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A9546
国立国会図書館書誌ID
000003233654
資料種別
図書
著者
International Symposium of Formal Methods Europe (2nd : 1994 : Barcelona, Spain)ほか