Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 01663283

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

This book constitutes the proceedings of the 16th International Conference on Foundations of Softwar... Vollständige Beschreibung

Libristo-Code: 01663283

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Pietramelara Antonio Di Lauro

Broschur

21.69 €

Mamut EVA BALTASAR

Broschur

17.19 €

Red Arches Puzzle 1000 Teile

Spiel

18.69 €

Hříšný gentleman Jodi Ellen Malpasová

Hardcover

19.79 €

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

Kalender

56.39 €

Love Letter Zman

Spiel

18.49 €

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

Hardcover

17.00 €

Notes Balacron, bordó, tečkovaný

Blatt

12.59 €

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

Broschur

7.39 €

vendetta di Frances Farmer Lucia Vaccarino

Hardcover

17.39 €

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

Blatt

24.99 €

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

Broschur

45.59 €

Naavakuusikon tarinoita Kari Välimäki

Broschur

13.89 €

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

Broschur

13.69 €

Skoré uzdravenie neuvedený autor

Hardcover

4.09 €

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

Hardcover

439.49 €

Lo que debe saber todo buen republicano Anónimo

Broschur

16.29 €

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

Broschur

65.79 €

Tarás Bulba Nikolaj Vasilevic Gogol

Broschur

15.59 €

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

Broschur

38.00 €

Sprachverarbeitung und Integration von stereotypen Erwartungen bei auditiver Wahrnehmung Valentina Slaveva

Broschur

17.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Foundations of Software Science and Computation Structures

Autor Frank Pfenning

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 451

EAN 9783642370748

ISBN 3642370748

Libristo-Code 01663283

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 724

Abmessungen 155 x 235 x 25

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert