Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Foundations of Software Science and Computation Structures Andrew Pitts

Foundations of Software Science and Computation Structures

18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Szerző: Andrew Pitts
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 223 Ft
This book constitutes the proceedings of the 18th International Conference on Foundations of Softwar...

Információk a könyvről

Szerző
Andrew Pitts
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2015
oldal
465
EAN
9783662466773
ISBN
3662466775
Enbook ID
09209153
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
7256
Méretek
155 x 235 x 237

Teljes leírás

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.§The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

Érdekelheti

Wondering Ardor

Tracy C Taylor
6 201 Ft

Each One a Minister: Using God's Gifts for Ministry

William J. Carter
4 290 Ft

Soldiers' Stories of the War

Walter Wood
13 419 Ft

Games of Passion: The Lace Collection

Frank Lee Speaking
4 500 Ft

Egyptian Revival or the Ever-Coming Son in the Light of the Tarot

Frater Achad
8 536 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Aida, Opera in Four Acts

Giuseppe Verdi
10 987 Ft

Galleta para perros

Helen Cooper
5 634 Ft

Impactos Ambientais em Áreas de Preservação no Semiárido Paraibano

Júlia Soares Pereira
12 031 Ft

Modernizaciq strategij uprawleniq awariqmi na qdernyh änergoustanowkah

Vladislaw Spinow
23 344 Ft

O homem que passou por baixo do arco-íris

CESAR BRAGA-PINTO
11 777 Ft

L'agriculture pourra-t-elle s'adapter au changement climatique?

Bordes
11 040 Ft