TAPSOFT '95: Theory and Practice of Software Development
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total…
Mehr
CHF 179.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Nielsen, Mogens (Hrsg.) / Schwartzbach, Michael I. (Hrsg.)
- ISBN: 978-3-540-59293-8
- EAN: 9783540592938
- Produktnummer: 3261142
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1995
- Seitenangabe: 836 S.
- Masse: H15.4 cm x B23.5 cm x D3.8 cm 1'028 g
- Auflage: 1995
- Abbildungen: Paperback
- Gewicht: 1028
4 weitere Werke von Peter D. (Hrsg.) Mosses:
CASL Reference Manual
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
Ebook (PDF Format)
CHF 142.50
Bewertungen
Anmelden