Fundamental Approaches to Software Engineering c - Giannakopoulou, Dimitra; Orejas, Fernando; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Information Systems; Computer Science; Software Engineering; Computer Communication Networks; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Management of Computing and Information Systems