Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Computer Science and General Issues) - Softcover

 
9783642370748: Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Computer Science and General Issues)
Softcover
ISBN 10: 3642370748 ISBN 13: 9783642370748
Publisher: Springer, 2013

Synopsis

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
3642370748
ISBN 13 
9783642370748
Binding
Paperback
Number of pages
475
Editor
Pfenning Frank

Other Popular Editions of the Same Title

9783642370762: Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Rome, Italy, March 16-24, 2013, Proceedings

Featured Edition

ISBN 10:  3642370764 ISBN 13:  9783642370762
Publisher: Springer, 2013
Softcover