Delivery included to the United States

TAPSOFT '95: Theory and Practice of Software Development

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

1995

Paperback (03 May 1995)

Save $12.94

  • RRP $123.03
  • $110.09
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783540592938
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 1995
Language: English
Number of pages: 820
Weight: 1258g
Height: 233mm
Width: 155mm
Spine width: 42mm