Verwandte Artikel zu 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: 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)

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.

Gratis für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

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

Suchergebnisse für TAPSOFT '95: Theory and Practice of Software Development...

Beispielbild für diese ISBN

Verlag: Springer, 1995
ISBN 10: 3540592938 ISBN 13: 9783540592938
Neu Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-92044

Verkäufer kontaktieren

Neu kaufen

EUR 70,61
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Peter D. Mosses
ISBN 10: 3540592938 ISBN 13: 9783540592938
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540592938

Verkäufer kontaktieren

Neu kaufen

EUR 106,99
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1995
ISBN 10: 3540592938 ISBN 13: 9783540592938
Neu Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 836 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Artikel-Nr. 11290277

Verkäufer kontaktieren

Neu kaufen

EUR 103,19
Währung umrechnen
Versand: EUR 10,15
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1995
ISBN 10: 3540592938 ISBN 13: 9783540592938
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9783540592938_new

Verkäufer kontaktieren

Neu kaufen

EUR 111,14
Währung umrechnen
Versand: EUR 5,71
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Peter D. Mosses Mogens Nielsen Michael I. Schwartzbach
Verlag: Springer, 1995
ISBN 10: 3540592938 ISBN 13: 9783540592938
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 1st edition. 825 pages. 9.00x6.10x1.30 inches. In Stock. Artikel-Nr. x-3540592938

Verkäufer kontaktieren

Neu kaufen

EUR 157,92
Währung umrechnen
Versand: EUR 11,46
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb