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 Kirja 31 · Walter de Gruyter GmbH & Co KG
E-kirja
250
sivuja
Työkalut

Tietoa tästä e-kirjasta

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

Tutki lisää

Arvioi tämä e-kirja

Kerro meille mielipiteesi.

Tietoa lukemisesta

Älypuhelimet ja tabletit
Asenna Google Play Kirjat ‑sovellus Androidille tai iPadille/iPhonelle. Se synkronoituu automaattisesti tilisi kanssa, jolloin voit lukea online- tai offline-tilassa missä tahansa oletkin.
Kannettavat ja pöytätietokoneet
Voit kuunnella Google Playsta ostettuja äänikirjoja tietokoneesi selaimella.
Lukulaitteet ja muut laitteet
Jos haluat lukea kirjoja sähköisellä lukulaitteella, esim. Kobo-lukulaitteella, sinun täytyy ladata tiedosto ja siirtää se laitteellesi. Siirrä tiedostoja tuettuihin lukulaitteisiin seuraamalla ohjekeskuksen ohjeita.
Ilmoita sopimattomaksi

Jatkoa sarjalle

A Model Theoretic Oriented Approach to Partial Algebras: Introduction to Theory and Application of Partial Algebras-Part I
P. Burmeister
Kirja 32•Tiede ja matematiikka
156,99 $
Finite Difference Methods on Irregular Networks: A Generalized Approach to Second Order Elliptic Problems
Bernd Heinrich
Kirja 33•Tiede ja matematiikka
156,99 $
Modern Algorithms for Large Sparse Eigenvalue Problems
Arnd Meyer
Kirja 34•Tietokoneet ja tekniikka
156,99 $
Parametric Optimization and Related Topics
Jürgen Guddat
Kirja 35•Tiede ja matematiikka
148,99 $

Lisää kirjoittajalta Wolfgang Bibel

Automated Theorem Proving: Edition 2
Wolfgang Bibel
Tietokoneet ja tekniikka
34,65 $30,15 $
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
Tietokoneet ja tekniikka
73,15 $63,64 $
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
Tietokoneet ja tekniikka
55,65 $48,42 $

Samanlaisia e-kirjoja

Automated Theorem Proving: Edition 2
Wolfgang Bibel
Tietokoneet ja tekniikka
34,65 $30,15 $
Just Enough Software Architecture: A Risk-Driven Approach
George Fairbanks
Tietokoneet ja tekniikka
3,9
9,99 $
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Tietokoneet ja tekniikka
4,1
71,99 $57,59 $
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
Tietokoneet ja tekniikka
55,65 $48,42 $