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

 
9783540592938: TAPSOFT ’95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings: 915 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540592938 ISBN 13: 9783540592938
Verlag: Springer, 1995

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1995
Sprache
Englisch
ISBN 10 
3540592938
ISBN 13 
9783540592938
Einband
Tapa blanda
Anzahl der Seiten
836
Herausgeber
Schwartzbach Michael I., Nielsen Mogens, Mosses Peter D.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387592930: Tapsoft '95: Theory and Practice of Software Development : 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995 : Proceedin (Lecture Notes in Computer Science, 915)

Vorgestellte Ausgabe

ISBN 10:  0387592938 ISBN 13:  9780387592930
Verlag: Springer Verlag, 1995
Softcover