Computer Logic 電子書籍著者： John Y. Hsu - EPUB

電子書籍を購入

15 % 引き販売価格　7,149 円6,076 円

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

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

ストアを選ぶ

購入する

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781461300472
発売日　2012年12月6日
出版社：Springer New York

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

関連書籍

OPC Unified Architecture

Wolfgang Mahnke, Stefan-Helmut Leitner, Matthias Damm

7,292 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

6,076 円

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

5,469 円

Dynamic Logic. New Trends and Applications

Alexandre Madeira, Mário Benevides

6,076 円

Information and Communication Technologies in Education, Research, and Industrial Applications

Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis

6,076 円

Measurement, Modelling and Evaluation of Computing Systems

Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger

6,076 円

Model Checking Software

Dragan Bošnački, Anton Wijs

6,078 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Information Security

Yvo Desmedt

6,076 円

Implementation and Application of Automata

Arnaud Carayol, Cyril Nicaud

6,076 円

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

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

6,076 円

Inductive Logic Programming

James Cussens, Alessandra Russo

6,076 円

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

6,076 円

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

6,076 円

その他の著書

Computer Architecture

John Y. Hsu

13,625 円

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

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

日本のストアです。

Computer Logic

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

OPC Unified Architecture

Scala: From a Functional Programming Perspective

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Applied Logic for Computer Scientists

Dynamic Logic. New Trends and Applications

Information and Communication Technologies in Education, Research, and Industrial Applications

Measurement, Modelling and Evaluation of Computing Systems

Model Checking Software

Leveraging Applications of Formal Methods, Verification, and Validation

Information Security

Implementation and Application of Automata

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

Inductive Logic Programming

Interactive Theorem Proving

Fundamental Approaches to Software Engineering

その他の著書

Computer Architecture

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

電子書籍

楽天Koboで読む理由

関連書籍

OPC Unified Architecture

Scala: From a Functional Programming Perspective

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Applied Logic for Computer Scientists

Dynamic Logic. New Trends and Applications

Information and Communication Technologies in Education, Research, and Industrial Applications

Measurement, Modelling and Evaluation of Computing Systems

Model Checking Software

Leveraging Applications of Formal Methods, Verification, and Validation

Information Security

Implementation and Application of Automata

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

Inductive Logic Programming

Interactive Theorem Proving

Fundamental Approaches to Software Engineering

その他の著書

Computer Architecture

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

最新のブログ記事