ENGLISH

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

By Hartmut Ehrig , Michael I. Schwartzbach (eds.) , Mogens Nielsen , Peter D. Mosses , Bernd Mahr (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1995
ISBN
3540592938, 9783540592938
DOI
10.1007/3-540-59293-8
LCC
QA76.76.D47 I58 1995
Open Library ID
OL783838M
Language
english
Format
DJVU
Filesize
8 MB (8037800 bytes)
Series
Lecture Notes in Computer Science 915
Edition
1
Pages
820\826
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
CompilersInterpreters; Computation by Abstract Devices; LogSoftware Engineering; Programming Languages

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.

Similar books