Small Dynamic Complexity Classes 電子書籍著者： Thomas Zeume - EPUB

電子書籍を購入

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

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

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

ストアを選ぶ

購入する

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783662543146
発売日　2017年2月15日
出版社：Springer Berlin Heidelberg

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

関連書籍

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

6,076 円

Formal Aspects of Component Software

José Proença, Markus Lumpe

6,076 円

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

6,076 円

Introduction to Scilab

Sandeep Nagar

5,469 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

6,076 円

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

6,076 円

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

6,076 円

Runtime Verification

Ezio Bartocci, Rupak Majumdar

6,076 円

Introduction to Octave

Sandeep Nagar

6,685 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Static Analysis

Xavier Rival

6,076 円

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

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 円

Rewriting Logic and Its Applications

Dorel Lucanu

6,076 円

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

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

日本のストアです。

Small Dynamic Complexity Classes

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Logical Foundations of Computer Science

Formal Aspects of Component Software

Formal Modeling and Analysis of Timed Systems

Introduction to Scilab

Topics in Theoretical Computer Science

Logic-Based Program Synthesis and Transformation

ModelEd, TestEd, TrustEd

Tools and Algorithms for the Construction and Analysis of Systems

Semantics, Logics, and Calculi

NASA Formal Methods

Runtime Verification

Introduction to Octave

Formal Methods and Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Static Analysis

Theory and Practice of Formal Methods

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

Rewriting Logic and Its Applications

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

電子書籍

楽天Koboで読む理由

関連書籍

Logical Foundations of Computer Science

Formal Aspects of Component Software

Formal Modeling and Analysis of Timed Systems

Introduction to Scilab

Topics in Theoretical Computer Science

Logic-Based Program Synthesis and Transformation

ModelEd, TestEd, TrustEd

Tools and Algorithms for the Construction and Analysis of Systems

Semantics, Logics, and Calculi

NASA Formal Methods

Runtime Verification

Introduction to Octave

Formal Methods and Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Static Analysis

Theory and Practice of Formal Methods

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

Rewriting Logic and Its Applications

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

最新のブログ記事