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 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc...
Vollständige Beschreibung
Libristo-Code: 01563752
?
263 b
263 b
107.29
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
30 Tage für die Rückgabe der Ware
Kunden kauften auch
/
Broschur
19.99
€
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
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
Computer Science Logic
Autor
Laurent Fribourg
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2001
Anzahl der Seiten
628
EAN
9783540425540
ISBN
3540425543
Libristo-Code
01563752
Verlag
Springer, Berlin
Gewicht
875
Abmessungen
155 x 235 x 32
Kategorie
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse
>
Elektronik, Nachrichtentechnik
>
Elektronik
>
Regelungstechnik
>
Robotik
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
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 geliefertDas könnte Sie auch interessieren
/
Hardcover
224.29
€
/
Broschur
7.99
€
/
Broschur
71.69
€
