ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #Abrial Jean-Raymond.)
該当件数:2件
The B-book : assigning programs to meanings / J.-R. Abrial.
Cambridge : Cambridge University Press , 1996.. - New York
図書 [BA28484188]
Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (eds.).
Berlin : Springer , c1996.. - New York. - (Lecture notes in computer science. ; 1165)
図書 [BA28890644]
