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: 01663283
Price: 221.36 PLN
Availability: InStock
Author: Frank Pfenning
ISBN: 9783642370748

16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Frank Pfenning

Język

Angielski

Książka Miękka

Kod Libristo: 01663283

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luty 2013

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

Kod Libristo: 01663283

125 b

221.36 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Ghoulies 4 (Uncut), 1 Blu-ray Jim Wynorski

Blu-ray

61.06 zł

Red Arches Puzzle 1000 Teile

Gra

60.15 zł

Hříšný gentleman Jodi Ellen Malpasová

Twarda

76.89 zł

Der Harz - Sagenumwoben und Wildromantisch (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Kalendarz

232.31 zł

Love Letter Zman

Gra

76.28 zł

Michel aus Lönneberga 1. Michel in der Suppenschüssel Björn Berg

Twarda

61.77 zł

Notes Balacron, bordó, tečkovaný

Karta

34.89 zł

Pietramelara Antonio Di Lauro

Miękka

89.37 zł

Sprachverarbeitung und Integration von stereotypen Erwartungen bei auditiver Wahrnehmung Valentina Slaveva

Miękka

69.38 zł

Auswahl mit Variantenvergleich, Planung und produktionswirksame Einfuhrung eines Verfahrens zur Verschlusselung von externen Mails in der Berliner Vol Matthias Müller

Miękka

145.57 zł

Tarás Bulba Nikolaj Vasilevic Gogol

Miękka

64.41 zł

Compendio y análisis de los principales pronunciamientos del Tribunal Supremo en materia financiera Francisco Javier Cárdenas Gálvez

Miękka

272.90 zł

Lo que debe saber todo buen republicano Anónimo

Miękka

67.86 zł

I. Genealogie Und Mythographie, A. Vorrede. Text [Nr. 1-63]. Addenda. Konkordanz: A. Kommentar. Nachtrage Felix Jacoby

Twarda

1 822.37 zł

Skoré uzdravenie neuvedený autor

Twarda

17.74 zł

Brutus, auch Du! (Historischer Roman) Richard Voß

Miękka

56.09 zł

Mamut EVA BALTASAR

Miękka

74.56 zł

Naavakuusikon tarinoita Kari Välimäki

Miękka

57.01 zł

De Zeden Der Israeliten Gemaekt En De Zeden Der Christenen Gemaekt (1793) Claude Fleury

Miękka

188.18 zł

Espiral Magica Logico Primo P-3 Vivi A L'escola. Finken Verlag

Karta

103.78 zł

vendetta di Frances Farmer Lucia Vaccarino

Twarda

71.72 zł

fanculo mascherina: piu di 50 frasi divertenti sulla mascherina Benito Di Luca

Miękka

30.43 zł

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013§The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.