Software Engineering. 2, Specification of Systems and Languages
Bjorner, Dines.
Software Engineering. 2, Specification of Systems and Languages [electronic resource] / by Dines Bjorner. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v. <1-3> : illustration, digital ; 24 cm. - Texts in Theoretical Computer Science An EATCS Series .
9783540331933 (electronic bk.)
Software engineering.
Computer programming.
QA76.758 / .B56 2006
005.1
Software Engineering. 2, Specification of Systems and Languages [electronic resource] / by Dines Bjorner. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v. <1-3> : illustration, digital ; 24 cm. - Texts in Theoretical Computer Science An EATCS Series .
9783540331933 (electronic bk.)
Software engineering.
Computer programming.
QA76.758 / .B56 2006
005.1
