Details for: Iteratively defined transfinite trace semantics and program slicing with respect to them › Научная библиотека ТГУ catalog

Факультетские библиотеки

Карточный/Имидж каталог

Image from Google Jackets

Normal view MARC view

Iteratively defined transfinite trace semantics and program slicing with respect to them Harmel Nestra

By: Nestra, Harmel Material type: Text

Text

TextSeries: Dissertationes mathematicae Universitatis TartuensisPublication details: Tartu Tartu University Press 2006Description: 118, [1] p. illISBN: 9949114365ISSN: 1024-4212Subject(s): компьютерные программы | семантика | диссертации | теория графов

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Выдается в читальный зал	Научная библиотека ТГУ Книгохранилище	1-948800к (Browse shelf(Opens below))	Available		13820000576812

Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)

Previous					No cover image available	No cover image available	No cover image available	Next
Previous	1-948797к Optimization of inelastic plates with cracks	1-948798к Sequence spaces defined by modulus functions and superposition operators	1-948799к Real Gelfand-mazur algebras	1-948800к Iteratively defined transfinite trace semantics and program slicing with respect to them	1-948801 Историческая записка о деятельности Общества для пособия нуждающимся студентам Императорского Московского университета за 25 лет его существования (1874-1898)	1-948802 Падение крепостного права в России соч. И. Иванюкова	1-948809 Император Николай и иностранные дворы исторические очерки С. С. Татищева	Next

Bibliogr.: p. 109-110

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Ebsco Discovery Google Scholar