Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

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: 09209153
Price: 222.03 PLN
Availability: InStock
Author: Andrew Pitts
ISBN: 9783662466773

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

Andrew Pitts

Język

Angielski

Książka Miękka

Kod Libristo: 09209153

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2015

This book constitutes the proceedings of the 18th International Conference on Foundations of Softwar... Cały opis

Kod Libristo: 09209153

125 b

222.03 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Aida, Opera in Four Acts Giuseppe Verdi

Miękka

127.90 zł

Galleta para perros Helen Cooper

Miękka

70.81 zł

Impactos Ambientais em Áreas de Preservação no Semiárido Paraibano Júlia Soares Pereira

Miękka

137.98 zł

Modernizaciq strategij uprawleniq awariqmi na qdernyh änergoustanowkah Vladislaw Spinow

Miękka

267.61 zł

O homem que passou por baixo do arco-íris CESAR BRAGA-PINTO

binding.

147.95 zł

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

Miękka

138.38 zł

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.