Fundamentals of Software Engineering
Subtitle: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
By: edited by Farhad Arbab, Marjan Sirjani
Contributors: Sirjani, Marjan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7141
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642293207
Subjects: Mathematical Logic and Formal Languages; Models and Principles; Software Engineering/Programming and Operating Systems; Software engineering; Programming Techniques; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters