Bjorner, Dines

Software Engineering vol. 2 Specification of Systems and Languages [electronic resource] Dines Bjorner - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 - vol. 1-3 ill., digital 24 cm vol 1: 777 p. - Texts in Theoretical Computer Science An EATCS Series. .

Index
Bibliografie


eng

9783540331933 (electronic bk.) 9783540211501 (paper)


Software engineering
Computer programming
Computer Science.
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering

QA76.758

005.1