Normal view
MARC view
Iteratively defined transfinite trace semantics and program slicing with respect to them Harmel Nestra
Material type: TextSeries: Dissertationes mathematicae Universitatis TartuensisPublication details: Tartu Tartu University Press 2006Description: 118, [1] p. illISBN: 9949114365ISSN: 1024-4212Subject(s): компьютерные программы | семантика | диссертации | теория графовItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-948800к (Browse shelf(Opens below)) | Available | 13820000576812 |
Bibliogr.: p. 109-110
There are no comments on this title.
Log in to your account to post a comment.