Lambda Calculus with Types 電子書籍著者： Henk Barendregt - EPUB

電子書籍を購入

20 % 引き販売価格　19,042 円15,234 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781107272248
発売日　2013年6月20日
出版社：Cambridge University Press

出版社： Cambridge University Press
ファイル形式　EPUB2
サイズ　41.24 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Sets, Logic and Maths for Computing

David Makinson

3,641 円

Probability Logics

Zoran Ognjanović, Miodrag Rašković, Zoran Marković

15,800 円

Analysis and Control of Boolean Networks

Daizhan Cheng, Hongsheng Qi, Zhiqiang Li

12,154 円

Combinatorial Algorithms

Veli Mäkinen, Simon J. Puglisi, Leena Salmela

6,076 円

Refinement in Z and Object-Z

Eerke A. Boiten, John Derrick

12,154 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Information Security

Yvo Desmedt

6,076 円

Semantic Technology

Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang

6,076 円

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

6,076 円

Recursion: Complexity in Cognition

Margaret Speas, Tom Roeper

12,154 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Mathematical Foundations of Computer Science 2015

Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella

6,076 円

Trusted Systems

Moti Yung, Jianbiao Zhang, Zhen Yang

6,076 円

Introduction to Scilab

Sandeep Nagar

5,469 円

Graph Structure and Monadic Second-Order Logic

Bruno Courcelle, Joost Engelfriet

33,542 円

Computational Processing of the Portuguese Language

João Silva, Ricardo Ribeiro, Paulo Quaresma, André Adami, António Branco

6,076 円

Regulated Grammars and Automata

Alexander Meduna, Petr Zemek

12,154 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Lambda Calculus with Types

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Sets, Logic and Maths for Computing

Probability Logics

Analysis and Control of Boolean Networks

Combinatorial Algorithms

Refinement in Z and Object-Z

Leveraging Applications of Formal Methods, Verification, and Validation

Information Security

Semantic Technology

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Recursion: Complexity in Cognition

Hardware and Software: Verification and Testing

Descriptional Complexity of Formal Systems

Mathematical Foundations of Computer Science 2015

Trusted Systems

Introduction to Scilab

Graph Structure and Monadic Second-Order Logic

Computational Processing of the Portuguese Language

Regulated Grammars and Automata

お楽しみいただけましたか？

電子書籍

楽天Koboで読む理由

関連書籍

Sets, Logic and Maths for Computing

Probability Logics

Analysis and Control of Boolean Networks

Combinatorial Algorithms

Refinement in Z and Object-Z

Leveraging Applications of Formal Methods, Verification, and Validation

Information Security

Semantic Technology

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Recursion: Complexity in Cognition

Hardware and Software: Verification and Testing

Descriptional Complexity of Formal Systems

Mathematical Foundations of Computer Science 2015

Trusted Systems

Introduction to Scilab

Graph Structure and Monadic Second-Order Logic

Computational Processing of the Portuguese Language

Regulated Grammars and Automata

お楽しみいただけましたか？

最新のブログ記事