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 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Foundations of Software Science and Computation Structures

Javier Esparza

Andrzej S. Murawski

Language

English

Book Paperback

Libristo code: 15850762

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

This book constitutes the proceedings of the 20th International Conference on Foundations of Softwar... Full description

Libristo code: 15850762

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Moja kratka povijest Stephen Hawking

Digital online

8.79 €

Erfolg ist Orgasmus Zenner Gilbert Zenner

Paperback

6.49 €

Cambridge International AS & A Level Economics Exam Preparation and Practice with Digital Access (2 Years) Susan Grant

Paperback

36.59 €

Deux fois dans le même fleuve Sofi Oksanen

Paperback

29.69 €

1.d4. Том 3 Б. Аврух

Hardback

29.99 €

BLUEY UN CUENTO MI MAMA ES LA MEJOR EDICION EN ESPAÑOL BLUEY

Book

10.09 €

Rapunzel Martín Morón

Paperback

18.89 €

Tom Poulpe Dorémus

Paperback

23.59 €

Les Enquêtes de Lady Souris et Jimmy Tigré Quentin Girardclos

Paperback

16.39 €

Widunka Joanna Tekieli

Paperback

10.59 €

Tlapková Patrola - Vánoční samolepková knížka

Book

5.19 €

Der Börsenkurs im Squeeze Out-Verfahren Alexander Budzinski

Paperback

58.00 €

Construyendo una cultura emprendedora desde el modelamiento estrategico DOU HURTADO CARMONA

Paperback

16.19 €

ART SONG IN ENGLISH CHANT CAROL KIMBALL Book

binding.

53.69 €

Le grand tournant - Développer la résilience communautaire en cette ère d'extrêmes Braden

Paperback

25.89 €

L'innovation à l'épreuve de la philosophie Pavie

Paperback

28.39 €

SERGE BICHON: JOUEZ DU SAXOPHONE - VOLUME 1 (FRENCH/ITALIAN) BICHON Book

binding.

44.09 €

Waffen-SS Adrian Gilbert

Hardback

22.39 €

Agencia de Detectives Núm. 2- 13. ¡Naufragio a la vista! JORN LIER HORST

Hardback

14.89 €

GARDASEE Uferpromenade von Garda (Puzzle) Melanie Viola

Game

35.79 €

Una mágica visión - NE Revisada KATE DANON

Paperback

33.39 €

Placer prohibido JULIA LONDON

Paperback

15.39 €

practica de la lectura en la vida cotidiana escolar Ligia Eugenia Aparicio Vallejo

Paperback

52.19 €

Civilizace a nemoci

Hardback

11.19 €

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.