Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.

The 19 revised full papers were...
lieferbar
versandkostenfrei

Bestellnummer: 101987787

Buch 72.59
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 101987787

Buch 72.59
In den Warenkorb
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.

The 19 revised full papers were...
Andere Kunden interessierten sich auch für
eBook

71.50

Download bestellen
Erschienen am 09.07.2018
sofort als Download lieferbar
Buch

60.49

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Buch

76.99

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Buch

98.99

In den Warenkorb
Erschienen am 04.07.2018
lieferbar
Buch

76.99

In den Warenkorb
lieferbar
Buch

23.64

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Buch

65.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

98.99

In den Warenkorb
Erschienen am 12.07.2018
lieferbar
Buch

80.30

In den Warenkorb
Erschienen am 12.11.2015
lieferbar
Buch

57.20

Vorbestellen
Erschienen am 15.12.2017
Voraussichtlich lieferbar in 3 Tag(en)
Buch

60.49

In den Warenkorb
Erschienen am 16.07.2017
lieferbar
Buch

52.80

In den Warenkorb
lieferbar
Buch

52.80

In den Warenkorb
Erschienen am 27.10.2015
lieferbar
Buch

80.29

In den Warenkorb
Erschienen am 20.11.2013
lieferbar
Buch

87.99

In den Warenkorb
Erschienen am 24.10.2017
lieferbar
Buch

109.99

In den Warenkorb
Erschienen am 03.02.2017
lieferbar

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

93.45

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Buch

76.99

In den Warenkorb
lieferbar
Buch

115.49

In den Warenkorb
lieferbar
Kommentar zu "Logic-Based Program Synthesis and Transformation"
Andere Kunden kauften auch
Buch

60.49

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Buch

76.99

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Buch

98.99

In den Warenkorb
Erschienen am 04.07.2018
lieferbar
Buch

76.99

In den Warenkorb
lieferbar
Buch

23.64

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Buch

65.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

98.99

In den Warenkorb
Erschienen am 12.07.2018
lieferbar
Buch

80.30

In den Warenkorb
Erschienen am 12.11.2015
lieferbar
Buch

57.20

Vorbestellen
Erschienen am 15.12.2017
Voraussichtlich lieferbar in 3 Tag(en)
Buch

60.49

In den Warenkorb
Erschienen am 16.07.2017
lieferbar
Buch

52.80

In den Warenkorb
lieferbar
Buch

52.80

In den Warenkorb
Erschienen am 27.10.2015
lieferbar
Buch

80.29

In den Warenkorb
Erschienen am 20.11.2013
lieferbar
Buch

87.99

In den Warenkorb
Erschienen am 24.10.2017
lieferbar
Buch

109.99

In den Warenkorb
Erschienen am 03.02.2017
lieferbar

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

93.45

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Buch

76.99

In den Warenkorb
lieferbar
Buch

115.49

In den Warenkorb
lieferbar
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich