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 (Lecture Notes in Computer Science, 915) - Softcover
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.
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.
- PublisherSpringer
- Publication date1995
- ISBN 10 3540592938
- ISBN 13 9783540592938
- BindingPaperback
- Number of pages836
- EditorMosses Peter D., Nielsen Mogens, Schwartzbach Michael I.
Buy New
Learn more about this copy
US$ 80.90
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
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:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-191269
Buy New
US$ 80.90
Convert currency
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:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-226431
Buy New
US$ 80.90
Convert currency
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:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-226431
Buy New
US$ 83.69
Convert currency
Seller 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) [Paperback ]
Print on Demand
Seller:
Rating
Book Description Soft Cover. Condition: new. This item is printed on demand. Seller Inventory # 9783540592938
Buy New
US$ 108.12
Convert currency
Stock Image
Buy New
US$ 108.76
Convert currency
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:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020171744
Buy New
US$ 117.17
Convert currency
Stock Image
TAPSOFT '95
Seller:
Rating
Book Description 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
Buy New
US$ 117.28
Convert currency
Stock 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
(1995)
ISBN 10: 3540592938
ISBN 13: 9783540592938
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540592938_lsuk
Buy New
US$ 124.33
Convert currency
Seller Image
TAPSOFT 95: Theory and Practice of Software Development
Published by
Springer Berlin Heidelberg
(1995)
ISBN 10: 3540592938
ISBN 13: 9783540592938
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description 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
Buy New
US$ 101.71
Convert currency
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
Quantity: 1
Seller:
Rating
Book Description 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
Buy New
US$ 126.42
Convert currency