Books > Computing & IT > Computer programming
|
Buy Now
Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Paperback, 2015 ed.)
Loot Price: R3,000
Discovery Miles 30 000
|
|
Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Paperback, 2015 ed.)
Series: Lecture Notes in Computer Science, 9034
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 18th International
Conference on Foundations of Software Science and Computation
Structures, FOSSACS 2015, held in London, UK, in April 2015, as
part of the European Joint Conferences on Theory and Practice of
Software, ETAPS 2015. The 28 full papers presented in this volume
were carefully reviewed and selected from 93 submissions. They are
organized in topical sections named: semantics of programming
languages; categorical models and logics; concurrent, probabilistic
and timed systems; automata, games, verification; logical aspects
of computational complexity; and type theory, proof theory and
implicit computational complexity. The book also contains one full
paper invited talk.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 9034 |
Release date: |
April 2015 |
First published: |
2015 |
Editors: |
Andrew Pitts
|
Dimensions: |
235 x 155 x 25mm (L x W x T) |
Format: |
Paperback
|
Pages: |
465 |
Edition: |
2015 ed. |
ISBN-13: |
978-3-662-46677-3 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-662-46677-5 |
Barcode: |
9783662466773 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|