Library Services | Technical University of Kenya catalog

Normal view MARC view ISBD view

Bjørner, Dines.

Software Engineering 1 Abstraction and Modelling / [electronic resource] : by Dines Bjørner. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Texts in Theoretical Computer Science an EATCS Series, 1862-4499 . - Texts in Theoretical Computer Science an EATCS Series, .

ISBN: 9783540312888

Standard No.: 10.1007/3-540-31288-9 doi

Subjects--Topical Terms:
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Print
Add to your cart (remove)
Save record
More searches