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
1st Edition
Published on 31. December 1986
Book
Hardback
250 pages
978-3-11-273340-0 (ISBN)
Description
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems '85".
More details
Series
Edition
Reprint 2024
Language
English
Place of publication
Berlin/Boston
Germany
Target group
Professional and scholarly
US School Grade: College Graduate Student
Dimensions
Height: 246 mm
Width: 175 mm
Thickness: 20 mm
Weight
606 gr
ISBN-13
978-3-11-273340-0 (9783112733400)
Schweitzer Classification
Other editions
Additional editions
Wolfgang Bibel | Klaus P. Jantke
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
E-Book
01/1987
1st Edition
De Gruyter
€139.95
Available for download