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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

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: 48.29 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

118 b

48.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

leone e il corazziere. L'anima del rugby in Carwyn James e Doro Quaglio Marco Pastonesi

Broschur

15.59 €

The Best Photographers IV

Blatt

14.39 €

Protein-Therapie Und Unspezifische Leistungssteigerung William Petersen

Broschur

79.99 €

Sista chansen Bengt-Ake Cras

Adobe ePub DRM

6.29 €

Tratamiento de las crestas comprometidas en implantología Vishal Bansal

Broschur

27.99 €

Weisheiten über Hund und Katze Doris Probst

Hardcover

19.00 €

PASSWORT LUPE - Spracharbeitsheft 2 GS mit Interaktiven Übungen Ursula Emanuel

Blatt

16.25 €

Res publica Europa Christopher Balme

Adobe ePub DRM

11.99 €

Alphabetisierung in der Fremdsprache Deutsch Albert Ruth

Hardcover

29.90 €

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

Broschur

21.29 €

Lamarck Grimoult Buch

Broschur

25.99 €

Au péril des guerres de Religion Le Gall

Broschur

12.79 €

Shuumatsu No Valkyrie-Record of Ragnarök 1 FUKUI TAKUMI

Broschur

8.69 €

Balettiskola 3. - A nagy gála Aurora Marsotto

Hardcover

4.19 €

Ścigacz S.1. Prekursorska konstrukcja swoich czasów? Tomaszewski Maciej

Hardcover

10.59 €

Reisebilder Heinrich Heine

Broschur

22.50 €

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

Broschur

26.29 €

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

Broschur

53.89 €

Branislav Nusic: Sabrana Dela Branislav Nusic

Broschur

16.19 €

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

Das könnte Sie auch interessieren

Advanced Arduino Techniques in Science Richard J. Smythe

Broschur

21.89 €

Responses to Geographical Marginality and Marginalization Etienne Nel

Broschur

144.29 €

A simple and quite logical story: The curious case of the discovery of the discovery of an octogenarian, who died, in a car, in Tiepolo Street. Joseph Santoro

Broschur

8.59 €