Formal Aspects of Component Software
Subtitle: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
By: edited by Luís Soares Barbosa, Markus Lumpe
Contributors: Lumpe, Markus; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6921
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642272691
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Computer networks; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters