TAPSOFT '93: Theory and Practice of Software Development
4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
This volume contains the proceedings of the fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with a view to discussing how formal methods canusefully 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 SoftwareEngineering (FASE). The advanced seminar includ…
Mehr
CHF 179.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Jouannaud, Jean-Pierre (Hrsg.)
- ISBN: 978-3-540-56610-6
- EAN: 9783540566106
- Produktnummer: 3498592
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 780 S.
- Masse: H23.5 cm x B15.4 cm x D3.2 cm 951 g
- Auflage: 1993
- Abbildungen: Paperback
- Gewicht: 951
4 weitere Werke von Marie-Claude (Hrsg.) Gaudel:
Bewertungen
Anmelden