TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings

TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings

Description

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 of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.

Download TAPSOFT '95: Theory and Practice of Software Development : 6th Internationa (9783540592938).pdf, available at smadeo.com for free.

Details

Author(s)
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
Format
Paperback | 820 pages
Dimensions
155 x 233 x 42.16mm | 1,258g
Publication date
08 Jun 1995
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication City/Country
Berlin, Germany
Language
English
Edition Statement
1995 ed.
Illustrations note
XVI, 820 p.
ISBN10
3540592938
ISBN13
9783540592938