Koha online

Normal view MARC view ISBD view

Bjorner, Dines

Software engineering 2 : specification of systems and languages - New York: Springer, 2005 - xxiv, 777 p.; ill.: 24 cm. - Texts in theoretical computer science .

ISBN: 3540211500 (hbk)

Subjects--Topical Terms:
Software Engineering

Dewey Class. No.: 620.0028553 / BJO