Mathematical Methods of Specification and Synthesis of Software Systems '85 | Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985

Klaus P. Jantke (u. a.)

ISBN 10: 3112733401 / ISBN 13: 9783112733400

Published by De Gruyter, 1986

About this Item

Mathematical Methods of Specification and Synthesis of Software Systems '85 | Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 | Klaus P. Jantke (u. a.) | Buch | Einband - fest (Hardcover) | Englisch | 1986 | De Gruyter | EAN 9783112733400 | Verantwortliche Person für die EU: De Gruyter [9], Genthiner Str. 13, 10785 Berlin, orders[at]degruyter[dot]com | Anbieter: preigu Print on Demand.

Seller Inventory # 128807301

Bibliographic Details

• Title: Mathematical Methods of Specification and Synthesis of Software Systems '85 | Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985
• Publisher: De Gruyter
• Publication Date: 1986
• Language: English
• ISBN 10: 3112733401
• ISBN 13: 9783112733400
• Binding: Buch
• Condition: Neu
• Dimensions: 246W x 175H x 20D millimeters 246 millimeters width by 175 millimeters height by 20 millimeters depth
• Weight: 606 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".