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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 09094864
Price: 58.57 EUR
Availability: InStock
Author: Gopal Gupta
ISBN: 9783319141244

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta

Ricardo Pe?a

Sprache

Englisch

Buch Broschur

Libristo-Code: 09094864

Verlag Springer International Publishing AG, Dezember 2014

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Vollständige Beschreibung

Libristo-Code: 09094864

141 b

58.57 €

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M

Broschur

14.38 €

Plop. Libro bagno Matt Wolf

Broschur

5.46 €

La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa

Broschur

23.10 €

Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick

Hardcover

18.64 €

Two worlds Jitka Herodesová

Broschur

1.92 €

Religie Vroeger En Nu John.G.O. De Koker

Broschur

18.84 €

Gauguin, voyage au bout de la peinture Vauday

Broschur

27.05 €

O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida

Broschur

40.93 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Logic-Based Program Synthesis and Transformation

Autor Gopal Gupta, Ricardo Pe?a

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 237

EAN 9783319141244

ISBN 3319141244

Libristo-Code 09094864

Verlag Springer International Publishing AG

Gewicht 3869

Abmessungen 155 x 235 x 13

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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