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 电子阅读器等电子墨水屏设备上阅读，您需要下载一个文件，并将其传输到相应设备上。若要将文件传输到受支持的电子阅读器上，请按帮助中心内的详细说明操作。
举报非法内容

继续浏览系列丛书

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 本图书•Computers en technologie
€140.61
Parametric Optimization and Related Topics
Jürgen Guddat
第 35 本图书
€140.61

Wolfgang Bibel的更多图书

Automated Theorem Proving: Edition 2
Wolfgang Bibel
Computers en technologie
€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 本图书•Computers en technologie
€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 本图书•Computers en technologie
€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 本图书•Computers en technologie
€152.59€106.81
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Computers en technologie
€39.23€27.46
Just Enough Software Architecture: A Risk-Driven Approach
George Fairbanks
Computers en technologie
€10.52
Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings
Ricard Gavaldà
Computers en technologie
€54.49€38.14