Κανονική προβολή Προβολή MARC Προβολή ISBD

Verifying temporal properties of systems Julian Charles Bradfield - Boston Birkhauser 1992 - vi,113p.:fig. - Progress in theoretical computer science .

Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστήριο συνδυαστικων αλγορίθμων

ISBN: 0 8176 3625 0

Subjects--Topical Terms:
ΕΣΑ
Συστήματα

Dewey Class. No.: 003.1