Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
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
Engelsk
Bogcover for Foundations of Software Science and Computation Structures af , 9783662496299
Specifikationer
Sprog:
Engelsk
Sider:
550
ISBN-13:
9783662496299
Indbinding:
Paperback
ISBN-10:
3662496291
Udg. Dato:
23 mar 2016
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
23 mar 2016

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
Engelsk
Paperback 2016
Format:

Bog beskrivelse
This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016. The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads.
... Vis mere

Forlags Vejl. pris
419,37 kr
Hos Booktok
409 kr
spar 2%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
550
ISBN-13:
9783662496299
Indbinding:
Paperback
ISBN-10:
3662496291
Udg. Dato:
23 mar 2016
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
23 mar 2016
Finder produkter...
Kategori sammenhænge