Menu
Виж статуса на поръчката
Свържете се с нас
Книга Foundations of Software Science and Computation Structures Javier Esparza

Foundations of Software Science and Computation Structures

Автор: Javier Esparza, Andrzej S. Murawski
Език: Английски език
Корици: С меки корици
Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.62 € 102.92 лв
This book constitutes the proceedings of the 20th International Conference on Foundations of Softwar...

Информация за книгата

Автор
Javier Esparza, Andrzej S. Murawski
Език
Английски език
Корици
Книга - С меки корици
Издадена
2017
страници
568
EAN
9783662544570
ISBN
3662544571
Enbook ID
15850762
Издател
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Теглоt
8774
Размери
155 x 235 x 83

Пълно описание

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.

Може също да ви хареса

Two-Dimensional Coulomb Liquids and Solids

Y. Monarkha
177.58 € 347.32 лв

How To Turn Tears, Tantrums & Trauma Into Peace

ALEXANDRA APLIN
8.65 € 16.92 лв

Under The Prophet In Utah

Frank J Cannon
18.90 € 36.97 лв

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

Theresa Miller Ph D
9.90 € 19.36 лв

Walker McReadie

Katherine J Sefton
9.25 € 18.09 лв

How NOT to Summon a Demon Lord Vol. 1

Yukiya Murasaki
11.20 € 21.91 лв

An Introduction to Field Pumping Tests for Dewatering and Groundwater Control

J Paul Guyer
26.56 € 51.94 лв

Destiny Unchosen: A Rust & Relics Novella

Lindsay Buroker
6.75 € 13.20 лв

Calvary Alley

Alice Hegan Rice
11.75 € 22.98 лв

Prakriti and Pulse: The two Mysteries of Ayurveda

Dr Vinod Verma
15.20 € 29.73 лв

Illustrated Letters and Diaries of the Pre-Raphaelites

Jan Marsh
19.81 € 38.74 лв

The Mercenaries of Havenshaw Crypt

D G Sutter
8.25 € 16.13 лв

Royal and Republican France

Henry Reeve
28.36 € 55.47 лв

7 THOUGHTS CONSIDERED AS MUSIC

Bruce Adolphe
17.40 € 34.04 лв

Deco Ceramics

Caludia Casali
36.66 € 71.71 лв

She And Her Cat

Makoto Shinkai
10.25 € 20.05 лв

Jay Gould or His Double

Hakan Kershan Olsen
12.55 € 24.55 лв

@tuambabies

Brian Nugent
28.06 € 54.88 лв

Britain and the Ottoman Maghreb, 1662–1712

Cutter
143.07 € 279.81 лв

Splintered Kingdom

FOX GRETCHEN POWELL
24.56 € 48.03 лв

Computational Modelling of Additive Manufacturing

Yanming Zhang
123.16 € 240.87 лв

Energy Management System for Dispatchable Renewable Power Generation

Amer Al-Hinai
67.73 € 132.47 лв

Starflight

Jamie Lendino
20.41 € 39.91 лв

The King's Missive and Other Poems

John Greenleaf Whittier
21.46 € 41.96 лв

Клиенти, които купиха тази книга, купиха също

Erfolg ist Orgasmus

Zenner Gilbert Zenner
6.00 € 11.73 лв

San Sebastián. Los años trágicos 1934-1936-1939

Muñoz Echabeguren
25.86 € 50.57 лв

ART SONG IN ENGLISH CHANT

CAROL KIMBALL
52.67 € 103.02 лв

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

Braden
25.46 € 49.79 лв

Intermittierendes Fasten

Ralph Fisher
15.25 € 29.83 лв

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

Susan Grant
35.76 € 69.95 лв

Deux fois dans le même fleuve

Sofi Oksanen
29.16 € 57.03 лв

1.d4. Том 3

Б. Аврух
29.36 € 57.42 лв

Tea Angyalai Budapesten

Tea Stilton
12.45 € 24.35 лв

Tom Poulpe

Dorémus
23.21 € 45.39 лв

Les Enquêtes de Lady Souris et Jimmy Tigré

Quentin Girardclos
16.10 € 31.50 лв

Widunka

Joanna Tekieli
10.90 € 21.32 лв

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

5.05 € 9.87 лв

Civilizace a nemoci

10.95 € 21.42 лв

Der Börsenkurs im Squeeze Out-Verfahren

Alexander Budzinski
52.97 € 103.60 лв

Resume de l'Histoire Du Commerce Et de l'Industrie

Blanqui-A
23.41 € 45.78 лв

Untersuchungen zur persuasiven Redeweise bei Baudelaire

Claus Haar
85.24 € 166.71 лв

GARDASEE Uferpromenade von Garda (Puzzle)

Melanie Viola
34.96 € 68.38 лв

Saintete Du Serment, Examen Du Traite de M. Madrolle Sur CET Important Sujet

GUICHON DE GRANDPONT
12.30 € 24.06 лв

Una mágica visión - NE Revisada

KATE DANON
32.71 € 63.98 лв

Incidental

Tolaretxipi Lerchundi
15.60 € 30.52 лв

Placer prohibido

JULIA LONDON
14.30 € 27.97 лв

Askerin Günlügü

Selcuk Kizildag
17.40 € 34.04 лв

Rapunzel

Martín Morón
15.25 € 29.83 лв