Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering. TAPSOFT Proceedings ; Berlin, Germany; March, 1985. Volume 186 Lecture Notes in Computer Science.
Ehrig, Hartmut (Editor), et al.; Goos, G. (Editor); Hartmanis, J. (Editor)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Published by Springer-Verlag, OHG, Berlin, Germany, 1985
Used
Paperback
From
SUNSET BOOKS 2, Newark, OH, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 31 July 2009
This book is temporarily unavailable. We've listed similar copies below.
About this Item
Description:
Wear/soil. W/full markings and pocket. 455 numbered pages, 459 for Amz. Size: 8vo Size: 8vo - over 7¾ - 9¾" tall. Seller Inventory # 009049
Synopsis:
No Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 Read a customer review or write one .
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Mathematical Foundations of Software ...
Publisher: Springer-Verlag, OHG, Berlin, Germany
Publication Date: 1985
Binding: Paperback
Condition: Good
Dust Jacket Condition: No Jacket
Edition: 1st.
Book Type: Ex-Library