TAPSOFT '93: Theory and Practice of Software Development
International Joint Conference on the Theory and Practice of
Software Development, TAPSOFT '93. Since the first in 1985,
the aim of these conferences has been to bring together
theoretical computer...
- Kauf auf Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
85.59 €
85.59 €
96.29 €
Algorithmic Language and Program Development
Friedrich L. Bauer, Hans Wössner
80.24 €
129.99 €
139.09 €
74.89 €
74.89 €
85.59 €
Programming Languages: Principles and Paradigms
Maurizio Gabbrielli, Simone Martini
31.00 €
96.29 €
85.59 €
International Joint Conference on the Theory and Practice of
Software Development, TAPSOFT '93. Since the first in 1985,
the aim of these conferences has been to bring together
theoretical computer scientists and researchers in software
engineering with a view to discussing how formal methods can
usefully be applied in software development.
TAPSOFT '93 consists ofthree parts: an advanced seminar,the Colloquium on Trees in Algebra and Programming (CAAP),
and the Colloquium on Formal Approaches of Software
Engineering (FASE). The advanced seminar includes four
invited surveys and four invited conferences. The selected
papers for CAAP are organized in seven sessions:
specifications and proofs, concurrency, automata and
counting, constraints solving, rewriting, logic and trees,
analysis of algorithms, and a common session with FASE on
type inference. The selected papers for FASE are presented
in eight sessions: case studies in formaldesign and
development, compositionality modules and development,
formal development, foundations and analysis of formal
specifications, verification of concurrent systems, model
checking, parallel calculus, and a common session with CAAP
on type inference.
TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions:
specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.
- 1993, 780 Seiten, Maße: 15,4 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 3540566104
- ISBN-13: 9783540566106
- Erscheinungsdatum: 06.04.1993
85.59 €
85.59 €
96.29 €
Algorithmic Language and Program Development
Friedrich L. Bauer, Hans Wössner
80.24 €
129.99 €
139.09 €
74.89 €
74.89 €
85.59 €
Programming Languages: Principles and Paradigms
Maurizio Gabbrielli, Simone Martini
31.00 €
96.29 €
85.59 €
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Keine Kommentare vorhanden
Jetzt bewertenSchreiben Sie den ersten Kommentar zu "TAPSOFT '93: Theory and Practice of Software Development".
Kommentar verfassen