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,247

Discovery Miles 32 470

Repayment Terms: R304 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,247 Discovery Miles 32 470 | Repayment Terms: R304 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