Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

·
· Mathematical Research 31 巻 · Walter de Gruyter GmbH & Co KG
電子書籍
250
ページ
評価とレビューは確認済みではありません 詳細

この電子書籍について

No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".

この電子書籍を評価する

ご感想をお聞かせください。

読書情報

スマートフォンとタブレット
Android や iPad / iPhone 用の Google Play ブックス アプリをインストールしてください。このアプリがアカウントと自動的に同期するため、どこでもオンラインやオフラインで読むことができます。
ノートパソコンとデスクトップ パソコン
Google Play で購入したオーディブックは、パソコンのウェブブラウザで再生できます。
電子書籍リーダーなどのデバイス
Kobo 電子書籍リーダーなどの E Ink デバイスで読むには、ファイルをダウンロードしてデバイスに転送する必要があります。サポートされている電子書籍リーダーにファイルを転送する方法について詳しくは、ヘルプセンターをご覧ください。
違法なコンテンツを報告

シリーズの続編

A Model Theoretic Oriented Approach to Partial Algebras: Introduction to Theory and Application of Partial Algebras-Part I
P. Burmeister
32 巻
€140.61
Finite Difference Methods on Irregular Networks: A Generalized Approach to Second Order Elliptic Problems
Bernd Heinrich
33 巻
€140.61
Modern Algorithms for Large Sparse Eigenvalue Problems
Arnd Meyer
34 巻•コンピュータ、テクノロジー
€140.61
Parametric Optimization and Related Topics
Jürgen Guddat
35 巻
€140.61

Wolfgang Bibel のその他の書籍

Automated Theorem Proving: Edition 2
Wolfgang Bibel
コンピュータ、テクノロジー
€94.82€66.37
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
9 巻•コンピュータ、テクノロジー
€217.99€152.59
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
10 巻•コンピュータ、テクノロジー
€152.59€106.81

類似の電子書籍

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
10 巻•コンピュータ、テクノロジー
€152.59€106.81
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
コンピュータ、テクノロジー
€39.23€27.46
Just Enough Software Architecture: A Risk-Driven Approach
George Fairbanks
コンピュータ、テクノロジー
€10.52
Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings
Ricard Gavaldà
コンピュータ、テクノロジー
€54.49€38.14