Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Foundations of Software Science and Computation Structures Javier Esparza

Foundations of Software Science and Computation Structures

Autor: Javier Esparza, Andrzej S. Murawski
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.13 €
This book constitutes the proceedings of the 20th International Conference on Foundations of Softwar...

Informácie o knihe

Autor
Javier Esparza, Andrzej S. Murawski
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2017
Stránok
568
EAN
9783662544570
ISBN
3662544571
Enbook ID
15850762
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
8774
Rozmery
155 x 235 x 83

Kompletný popis

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.

Mohlo by vás zaujímať

Two-Dimensional Coulomb Liquids and Solids

Y. Monarkha
162.68 €

The Mercenaries of Havenshaw Crypt

D G Sutter
7.84 €

Before the Spit Hits the Fan: A what-to-do resource for teens

Theresa Miller Ph D
9.41 €

Walker McReadie

Katherine J Sefton
8.72 €

How NOT to Summon a Demon Lord Vol. 1

Yukiya Murasaki
9.90 €

An Introduction to Field Pumping Tests for Dewatering and Groundwater Control

J Paul Guyer
25.31 €

Destiny Unchosen: A Rust & Relics Novella

Lindsay Buroker
6.37 €

Calvary Alley

Alice Hegan Rice
11.18 €

Prakriti and Pulse: The two Mysteries of Ayurveda

Dr Vinod Verma
14.51 €

A Roadkill Opera: Parts for Wind Instruments

Stephan Alexander Parker
16.18 €

How To Turn Tears, Tantrums & Trauma Into Peace

ALEXANDRA APLIN
8.33 €

Royal and Republican France

Henry Reeve
26.88 €

White Gauntlet

Mayne Reid
25.99 €

Deco Ceramics

Caludia Casali
35.22 €

She And Her Cat

Makoto Shinkai
9.61 €

Jay Gould or His Double

Hakan Kershan Olsen
12.06 €

Mystery of Union with God

Bernhard Blankenhorn
35.90 €

Alma's Reading Log

Martha Day Zschock
14.32 €

Commercial Society

Cathleen A. Johnson
57.10 €

Britain and the Ottoman Maghreb, 1662–1712

Cutter
137.36 €

Splintered Kingdom

FOX GRETCHEN POWELL
23.05 €

Computational Modelling of Additive Manufacturing

Yanming Zhang
117.25 €

Energy Management System for Dispatchable Renewable Power Generation

Amer Al-Hinai
64.85 €

Starflight

Jamie Lendino
19.61 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Moja kratka povijest

Stephen Hawking
9.21 €

Erfolg ist Orgasmus

Zenner Gilbert Zenner
5.68 €

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

Susan Grant
34.14 €

Deux fois dans le même fleuve

Sofi Oksanen
27.95 €

1.d4. Том 3

Б. Аврух
27.86 €

Tea Angyalai Budapesten

Tea Stilton
11.86 €

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

BLUEY
9.90 €

Rapunzel

Martín Morón
17.55 €

Les Enquêtes de Lady Souris et Jimmy Tigré

Quentin Girardclos
15.40 €

Widunka

Joanna Tekieli
9.70 €

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

5.09 €

Der Börsenkurs im Squeeze Out-Verfahren

Alexander Budzinski
50.13 €

Construyendo una cultura emprendedora desde el modelamiento estrategico

DOU HURTADO CARMONA
14.41 €

ART SONG IN ENGLISH CHANT

CAROL KIMBALL
50.62 €

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

Braden
24.42 €

L'innovation à l'épreuve de la philosophie

Pavie
26.78 €

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

BICHON
41.50 €

Waffen-SS

Adrian Gilbert
20.49 €

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

JORN LIER HORST
13.92 €

GARDASEE Uferpromenade von Garda (Puzzle)

Melanie Viola
33.35 €

Una mágica visión - NE Revisada

KATE DANON
30.31 €

Placer prohibido

JULIA LONDON
13.53 €

practica de la lectura en la vida cotidiana escolar

Ligia Eugenia Aparicio Vallejo
48.36 €

Civilizace a nemoci

8.59 €