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. kötet · Walter de Gruyter GmbH & Co KG
E-könyv
250
Oldalak száma
Az értékelések és vélemények nincsenek ellenőrizve További információ

Információk az e-könyvről

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

E-könyv értékelése

Mondd el a véleményedet.

Olvasási információk

Okostelefonok és táblagépek
Telepítsd a Google Play Könyvek alkalmazást Android- vagy iPad/iPhone eszközre. Az alkalmazás automatikusan szinkronizálódik a fiókoddal, így bárhol olvashatsz online és offline állapotban is.
Laptopok és számítógépek
A Google Playen vásárolt hangoskönyveidet a számítógép böngészőjében is meghallgathatod.
E-olvasók és más eszközök
E-tinta alapú eszközökön (például Kobo e-könyv-olvasón) való olvasáshoz le kell tölteni egy fájlt, és átvinni azt a készülékre. A Súgó részletes utasításait követve lehet átvinni a fájlokat a támogatott e-könyv-olvasókra.
Jogsértő tartalom bejelentése

Sorozat folytatása

A Model Theoretic Oriented Approach to Partial Algebras: Introduction to Theory and Application of Partial Algebras-Part I
P. Burmeister
32. kötet
140,61 EUR
Finite Difference Methods on Irregular Networks: A Generalized Approach to Second Order Elliptic Problems
Bernd Heinrich
33. kötet
140,61 EUR
Modern Algorithms for Large Sparse Eigenvalue Problems
Arnd Meyer
34. kötet•Számítógép és technika
140,61 EUR
Discretization in Differential Equations and Enclosures
Ernst Adams
36. kötet
140,61 EUR

Továbbiak tőle: Wolfgang Bibel

Automated Theorem Proving: Edition 2
Wolfgang Bibel
Számítógép és technika
94,82 EUR66,37 EUR
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
9. kötet•Számítógép és technika
217,99 EUR152,59 EUR
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
10. kötet•Számítógép és technika
152,59 EUR106,81 EUR

Hasonló e-könyvek

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
10. kötet•Számítógép és technika
152,59 EUR106,81 EUR
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Számítógép és technika
39,23 EUR27,46 EUR
Just Enough Software Architecture: A Risk-Driven Approach
George Fairbanks
Számítógép és technika
10,52 EUR
Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings
Ricard Gavaldà
Számítógép és technika
54,49 EUR38,14 EUR