Items related to Formal Methods and Software Development (PROC OF INTL...
Search results for Formal Methods and Software Development (PROC OF INTL...
Seller Image
Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science Vol. 186)
Published by
Springer-Verlag, Berlin, 1985
ISBN 10: 0387151990
ISBN 13: 9780387151991
Used
paperback
Seller: Paderbuch e.Kfm. Inh. Ralf R. Eichmann, Bad Lippspringe, NRW, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Good. Hartmut Ehrig, Christiane Floyd, Maurice Nivat and James Thatcher (ed.): Formal Methods and Software Development TAP soft. Proceedings of the International Joint Converence on Theory and Practice of Software Development Vol. 2: Colloquium on Software Engineering CSE (Lecture Notes in Computer Science Vol. 186). Springer Verlag, Berlin 1985. Broschur, 455 Seiten; etwas gewellt, sonst ordentlicher Zustand. - Text nur in Englisch / English only. Seller Inventory # 016640
Stock Image
Formal Methods and Software Development (PROC OF INTL JOINT CONF.(TAPSOFT)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA70403871519905