Abstract interpretations & abstract machines : contributions to a methodology for the implementation of logic programs

में बचाया:

ग्रंथसूची विवरण
OCLC:	59948991
मुख्य लेखक:	Nilsson, Ulf
निगमित लेखक:	Universitetet i Linköping
भाषा:	English
प्रकाशित:	Linköping University, 1992.
श्रृंखला:	Linköping studies in science and technology -dissertations- ; no 265.
स्वरूप:	थीसिस Monograph Note that CRL will digitize material from the collection when copyright allows.

समान संसाधन