Items related to 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, 915) - Softcover
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.
"synopsis" may belong to another edition of this title.
Buy New
View this item
£ 62.05
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for TAPSOFT '95: Theory and Practice of Software Development...
Stock Image
TAPSOFT *95: Theory and Practice of Software Development - Proceedings of the 6th International Joint Conference CAAP/FASE, Held at Aarhus, Denmark, May 22-26, 1995
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-268017
Quantity: 1 available
Stock Image
TAPSOFT *95: Theory and Practice of Software Development - Proceedings of the 6th International Joint Conference CAAP/FASE, Held at Aarhus, Denmark, May 22-26, 1995
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABNR-92044
Quantity: 1 available
Stock Image
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)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD1423641
Quantity: 1 available
Stock Image
TAPSOFT '95
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 11290277
Quantity: 1 available
Stock Image
TAPSOFT '95
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 836. Seller Inventory # 2614416250
Quantity: 1 available
Stock Image
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, 915)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540592938_new
Quantity: Over 20 available
Seller Image
TAPSOFT 95: Theory and Practice of Software Development
Published by
Springer Berlin Heidelberg, 1995
ISBN 10: 3540592938
ISBN 13: 9783540592938
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 star. Seller Inventory # 4894998
Quantity: Over 20 available
Stock Image
TAPSOFT '95
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 836. Seller Inventory # 1814416240
Quantity: 1 available
Seller Image
TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
Published by
Springer Berlin Heidelberg, 1995
ISBN 10: 3540592938
ISBN 13: 9783540592938
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540592938
Quantity: 1 available
Seller Image
TAPSOFT '95: Theory and Practice of Software Development
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1995, 1995
ISBN 10: 3540592938
ISBN 13: 9783540592938
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 836 pp. Englisch. Seller Inventory # 9783540592938
Quantity: 1 available