ID:DA09970480
Advanced Study Institute on Deductive Program Design, NATO
Institute on Program Design Calculi, NATO Advanced Study
同姓同名の著者を検索
edited by Manfred Broy
Springer c1996 NATO ASI series Series F . Computer and systems sciences ; no. 152
所蔵館18館
