International schools for computer scientists

＜図書＞
International schools for computer scientists

データ種別	図書
出版情報	Oxford : Clarendon Press New York : Oxford University Press


1	Specification and validation methods / edited by Egon Börger Oxford : Clarendon Press , c1995
2	Advances in logic programming theory / edited by Giorgio Levi Oxford : Clarendon Press. - New York : Oxford University Press , 1994