Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Paperback, 1st ed. 2016) Loot Price: R3,089

Discovery Miles 30 890

Repayment Terms: R289 pm x 12*

Add to cart

Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the...

Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Paperback, 1st ed. 2016)

Bart Jacobs, Christof Loeding

Series: Theoretical Computer Science and General Issues, 9634

(sign in to rate)

Loot Price R3,089 Discovery Miles 30 890 | Repayment Terms: R289 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Theoretical Computer Science and General Issues, 9634
Release date:	March 2016
First published:	2016
Editors:	Bart Jacobs • Christof Loeding
Dimensions:	235 x 155 x 29mm (L x W x T)
Format:	Paperback
Pages:	550
Edition:	1st ed. 2016
ISBN-13:	978-3-662-49629-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-662-49629-1
Barcode:	9783662496299