Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Foundations of Software Science and Computation Structures

Name: Foundations of Software Science and Computation Structures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02937100
Price: 45.49 EUR
Availability: InStock
Author: Bart Jacobs
ISBN: 9783662496299

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

Bart Jacobs

Christof Löding

Language

English

Book Paperback

Libristo code: 02937100

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2016

This book§constitutes the proceedings of the 19th International Conference, FOSSACS 2016,§which took... Full description

Libristo code: 02937100

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Hispaniola Lele Vianello

Hardback

15.79 €

Slide and See Under the Sea Stella Baggott

Board book

10.50 €

Kosmetologia w pigułce. Kompendium Faruga-Lewicka W.

Paperback

14.89 €

Analyse des eaux de consommations Mouloud Ghadbane

Paperback

47.39 €

Der kleine Wassermann, Frühling im Mühlenweiher Otfried Preußler

Hardback

15.00 €

Jak fungují inovace Matt Ridley

Hardback

13.79 €

Paris à petits prix 5ed Aurélie Blondel

Paperback

10.09 €

Foucaultyu Sayiklamak Patricia Duncker

Paperback

9.89 €

Madres de la Biblia : 20 retratos para nuestro tiempo Margot Kässmann

Paperback

14.49 €

In bed with Marianne: Petit traité de politique ? l'usage des jeunes gens ambitieux Laurent Sbernini

Paperback

6.49 €

Ma Cure d'Eau. 2e Edition KNEIPP-S

Paperback

30.79 €

Schleich Giraffenbulle, Kunststoff-Figur Schleich®

Toy

8.19 €

This book§constitutes the proceedings of the 19th International Conference, 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.§