![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)](https://booksrun.com/image-loader/215/https:__m.media-amazon.com_images_I_41HeIgn-niL._SL500_.jpg)
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
Category:
Business Technology
,
Microsoft Programming
,
Programming
,
Compilers
,
Programming Languages
FREE US shipping
Book details
ISBN-13:
9783642548291
ISBN-10:
3642548296
Edition:
2014
Author:
Anca Muscholl
Publication date:
2014
Publisher:
Springer
Format:
Paperback
473 pages
Category:
Business Technology
,
Microsoft Programming
,
Programming
,
Compilers
,
Programming Languages
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.
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}