9783642548291-3642548296-Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint ... Computer Science and General Issues)

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

ISBN-13: 9783642548291
ISBN-10: 3642548296
Edition: 2014
Author: Anca Muscholl
Publication date: 2014
Publisher: Springer
Format: Paperback 473 pages
FREE US shipping
Buy

From $16.50

Book details

ISBN-13: 9783642548291
ISBN-10: 3642548296
Edition: 2014
Author: Anca Muscholl
Publication date: 2014
Publisher: Springer
Format: Paperback 473 pages

Summary

Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint ... Computer Science and General Issues) (ISBN-13: 9783642548291 and ISBN-10: 3642548296), written by authors Anca Muscholl, was published by Springer in 2014. With an overall rating of 4.1 stars, it's a notable title among other Business Technology (Microsoft Programming, Programming, Compilers, Programming Languages) books. You can easily purchase or rent Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint ... Computer Science and General Issues) (Paperback) from BooksRun, along with many other new and used Business Technology books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.

Description

This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.
Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book