Foundations of Software Science and Computational Structures
Subtitle: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
By: edited by Martin Hofmann
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6604
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642198045; 9783642198052
Subjects: Logic design; Computer science; Software engineering