Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{232692,
author = {Zlatuška, Jiří and Gilbert, David and Hogger, Chris},
address = {Hamburg},
booktitle = {Logic Program Synthesis and Transformation},
edition = {1.},
language = {eng},
location = {Hamburg},
isbn = {3-540-58792-6},
pages = {93-98},
publisher = {Springer},
title = {From specifications to programs},
year = {1994}
}
TY - JOUR
ID - 232692
AU - Zlatuška, Jiří - Gilbert, David - Hogger, Chris
PY - 1994
TI - From specifications to programs
VL - LNCS 883
PB - Springer
CY - Hamburg
SN - 3540587926
ER -
ZLATUŠKA, Jiří. From specifications to programs. In GILBERT, David a Chris HOGGER. \textit{Logic Program Synthesis and Transformation}. 1. vyd. Hamburg: Springer, 1994, s.~93-98. LNCS 883. ISBN~3-540-58792-6.
|
