Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Wolfgang Bibel
Themen in »Mathematical Methods of Specification and Synthesis of Software Systems '85«
algorithm algorithms language logic programming software verification
Stimmen zu »Mathematical Methods of Specification and Synthesis of Software Systems '85«
Details
ISBN: 9783540164449
Verlag: Springer Berlin
Erscheinung: 01.06.1986