Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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: 51.68 EUR
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

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 09209153

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ožujak 2015

This book constitutes the proceedings of the 18th International Conference on Foundations of Softwar... Cijeli opis

Libristo kod: 09209153

125 b

51.68 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Aida, Opera in Four Acts Giuseppe Verdi

Meki uvez

29.73 €

Galleta para perros Helen Cooper

Meki uvez

14.76 €

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

Meki uvez

32.06 €

Modernizaciq strategij uprawleniq awariqmi na qdernyh änergoustanowkah Vladislaw Spinow

Meki uvez

62.30 €

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

binding.

34.38 €

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

Meki uvez

30.54 €

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.