今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Theoretical Computer Science and General Issues)
Liu, Zhiming/Woodcock, Jim/Zhu, Huibiao
読みたい
読んだ
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Theoretical Computer Science and General Issues)
Liu, Zhiming/Woodcock, Jim/Zhu, Huibiao
読みたい
読んだ
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science, 14080)
Bowen, Jonathan P./Li, Qin/Xu, Qiwen
読みたい
読んだ
Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop
Hankin, Chris/Mackie, I./Nagarajan, R./Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England)
読みたい
読んだ
Theory and Formal Methods 1993: Proceedings Of The First Imperial College Department Of Computing Workshop On Theory And Formal Methods, Isle Of . . . Uk, 29-31 March 1993 (Workshops In Computing)
Burn, Geoffrey
読みたい
読んだ
Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)
Morazán, Marco T.
読みたい
読んだ
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Canal, Carlos/Idani, Akram
読みたい
読んだ
The French School of Programming
Meyer, Bertrand
読みたい
読んだ
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Programming and Software Engineering)
Carvalho, Gustavo/Stolz, Volker
読みたい
読んだ
The Way of Z: Practical Programming with Formal Methods
Jacky, Jonathan
読みたい
読んだ
1
2
3
4
5