Foundations of Software Science and Computational Structures
Subtitle: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences ... 2005 (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Hardcover
Number of pages: 521
ISBN-13: 9783540253884
Subjects: Computing and Information Technology; Programming Languages - General; Computers; Computers - General Information; Computer Books: Languages; Logic Design; Programming - Software Development; Computers / Logic Design; automata; computational structures; formal methods; formal verification; logical foundations; mathematical foundations; modal logics; model checking; program analysis; program logics; programming calculi; Computer Science; Computer Bks - General Information