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

Temporal verification of reactive systems Safety - New York Springer-Verlag c1995 - xviii,512p. fig.

includes bibl references

ISBN: 0 387 94459 1

Subjects--Topical Terms:
COMPUTER SOFTWARE
ΕΠΕΑΕΚ