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 Nature Switzerland AG
SKU: 28240705
Price: 51.72 EUR
Availability: InStock
Author: Maurizio Gabbrielli
ISBN: 9783030452599

29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli

Sprache

Englisch

Buch Broschur

Libristo-Code: 28240705

Verlag Springer Nature Switzerland AG, April 2020

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

Libristo-Code: 28240705

125 b

51.72 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Protein-Therapie Und Unspezifische Leistungssteigerung William Petersen

Broschur

77.14 €

Fabrication Des Etoffes. Traite Du Travail Des Laines. Tome 2 Alcan-M

Broschur

31.68 €

Guide Kandolo Pierre Félix Kandolo On'ufuku wa Kandolo

Broschur

57.90 €

Au péril des guerres de Religion Le Gall

Broschur

16.09 €

Bons baisers d'Iran Vilain

Broschur

25.30 €

101 merveilles du ciel qu'il faut avoir vues dans sa vie Emmanuel Beaudoin

Broschur

26.41 €

Tratamiento de las crestas comprometidas en implantología Vishal Bansal

Broschur

32.08 €

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.

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 Maurizio Gabbrielli

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2020

Anzahl der Seiten 261

EAN 9783030452599

Libristo-Code 28240705

Verlag Springer Nature Switzerland AG

Gewicht 454

Abmessungen 155 x 235 x 16

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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