共有 12 項 |
eBook: Dynamic Logic (DRM PDF)
David (William Sussman Professorial Chair The Weizmann Institute of Science) Harel, Dexter Kozen, Je, MIT Press Ltd, 出版日期: 2019/06/20, 系列: Foundations of Computing
|
|||
eBook: Proof, Language, and Interaction: Essays in Honour of Robin Milner (DRM PDF)
Gordon Plotkin, Colin P. Stirling, Mads (Vice Chancellor IT University of Copenhagen) Tofte, MIT Press Ltd, 出版日期: 2019/06/20, 系列: Foundations of Computing
|
|||
eBook: Logic and Information Flow (DRM PDF)
Jan van Eijck, Albert Visser, MIT Press Ltd, 出版日期: 2019/06/20, 系列: Foundations of Computing
|
|||
eBook: Basic Category Theory for Computer Scientists (DRM PDF)
Benjamin C. (Professor University of Pennsylvania) Pierce, MIT Press Ltd, 出版日期: 2019/06/20, 系列: Foundations of Computing
抱歉! 此商品已售罄, 不能訂購
|
|||
eBook: Circuit Complexity and Neural Networks (DRM PDF)
Ian Parberry, MIT Press Ltd, 出版日期: 2015/03/10, 系列: Foundations of Computing
|
|||
eBook: Dynamic Logic (DRM PDF)
David Harel, Dexter Kozen, Jerzy Tiuryn, The MIT Press, 出版日期: 2000/09/29, 系列: Foundations of Computing
抱歉! 此商品已售罄, 不能訂購
|
|||
eBook: Proof, Language, and Interaction: Essays in Honour of Robin Milner (DRM PDF)
Gordon Plotkin, Colin P. Stirling, Mads Tofte, The MIT Press, 出版日期: 2000/05/08, 系列: Foundations of Computing
抱歉! 此商品已售罄, 不能訂購
|
|||
eBook: Computability and Complexity: From a Programming Perspective (DRM PDF)
Neil Deaton Jones, The MIT Press, 出版日期: 1997/01/23, 系列: Foundations of Computing
|
|||
eBook: Algebraic Semantics of Imperative Programs (DRM PDF)
Joseph A. Goguen, Grant Malcolm, The MIT Press, 出版日期: 1996/05/22, 系列: Foundations of Computing
|
|||
eBook: Logic and Information Flow (DRM PDF)
Jan van Eijck, Albert Visser, The MIT Press, 出版日期: 1994/05/06, 系列: Foundations of Computing
抱歉! 此商品已售罄, 不能訂購
|
|||
eBook: From Logic to Logic Programming (DRM PDF)
Kees Doets, The MIT Press, 出版日期: 1994/01/11, 系列: Foundations of Computing
|
|||
eBook: Formal Semantics of Programming Languages: An Introduction (DRM PDF)
Glynn Winskel, The MIT Press, 出版日期: 1993/02/05, 系列: Foundations of Computing
|
|||