ZLATUŠKA, Jiří. From specifications to programs. In GILBERT, David and Chris HOGGER. Logic Program Synthesis and Transformation. 1st ed. Hamburg: Springer, 1994, p. 93-98. LNCS 883. ISBN 3-540-58792-6.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name From specifications to programs
Authors ZLATUŠKA, Jiří.
Edition 1. vyd. Hamburg, Logic Program Synthesis and Transformation, p. 93-98, LNCS 883, 1994.
Publisher Springer
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10000 1. Natural Sciences
Country of publisher Italy
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/94:00001739
Organization unit Faculty of Informatics
ISBN 3-540-58792-6
Changed by Changed by: prof. RNDr. Jiří Zlatuška, CSc., učo 1777. Changed: 12/1/2000 23:52.
Links
MSM 143300003, plan (intention)Name: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministry of Education, Youth and Sports of the CR, Human-computer interaction, dialog systems and assistive technologies
PrintDisplayed: 26/4/2024 15:39