Movatterモバイル変換

image for error

JavaScript required

We’re sorry, but WorldCat does not work without JavaScript enabled. Please enable JavaScript on your browser.

Front cover image for Behavioural implementation concepts for nondeterministic data types

Behavioural implementation concepts for nondeterministic data types

Author:Tobias Nipkow

Thesis, Dissertation,English, 1987

Edition:View all formats and editions

Publisher: University of Manchester, Dept. of Computer Science, Manchester, England, 1987

Dissertation:University of Manchester

Series:

University of Manchester, UMCS-87-5-3

Genre:dissertations

Physical Description:viii, 128 pages ; 30 cm

OCLC Number / Unique Identifier:18002367

Subjects:

Abstract data types (Computer science)

Abstrakter Datentyp

Academic theses

Computer programs Correctness

Logiciels Exactitude

Nichtdeterminismus

Thèses et écrits académiques

Types abstraits de données (Informatique)

[8]ページ先頭

©2009-2025 Movatter.jp