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

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 915
Release date:	May 1995
First published:	1995
Editors:	Peter D. Mosses • Mogens Nielsen • Michael I Schwartzbach
Dimensions:	233 x 155 x 42mm (L x W x T)
Format:	Paperback
Pages:	820
Edition:	1995 ed.
ISBN-13:	978-3-540-59293-8
Categories:	Books > Computing & IT > Computer programming > Software engineering
LSN:	3-540-59293-8
Barcode:	9783540592938

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!