Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01663283

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2013

This book constitutes the proceedings of the 16th International Conference on Foundations of Softwar... Descrizione completa

Codice Libristo: 01663283

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Pietramelara Antonio Di Lauro

In brossura

21.69 €

Mamut EVA BALTASAR

In brossura

17.19 €

Hříšný gentleman Jodi Ellen Malpasová

Rigido

19.79 €

Red Arches Puzzle 1000 Teile

Gioco

13.89 €

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

Calendario

56.39 €

Love Letter Zman

Gioco

18.49 €

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

Blu-ray

14.69 €

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

Rigido

15.19 €

Notes Balacron, bordó, tečkovaný

Foglio

8.49 €

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

In brossura

13.69 €

Sprachverarbeitung und Integration von stereotypen Erwartungen bei auditiver Wahrnehmung Valentina Slaveva

In brossura

16.89 €

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

In brossura

35.49 €

Reprasentation kultureller Zeichen durch kapitalisierende Kompetenzen, Marken und Streams Milo Tadic

In brossura

54.09 €

Tarás Bulba Nikolaj Vasilevic Gogol

In brossura

14.89 €

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

In brossura

62.99 €

Lo que debe saber todo buen republicano Anónimo

In brossura

15.59 €

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

Rigido

439.49 €

Skoré uzdravenie neuvedený autor

Rigido

4.29 €

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

In brossura

7.39 €

Naavakuusikon tarinoita Kari Välimäki

In brossura

13.89 €

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

In brossura

45.59 €

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

Foglio

23.89 €

vendetta di Frances Farmer Lucia Vaccarino

Rigido

17.39 €

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.