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

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006....

lieferbar
versandkostenfrei

Bestellnummer: 58879429

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

Bestellnummer: 58879429

Buch 69.54
In den Warenkorb

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006....

Andere Kunden interessierten sich auch für
eBook

69.54

Download bestellen
Erschienen am 22.05.2007
sofort als Download 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

90.90

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 22.09.2005
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
Buch

101.64

In den Warenkorb
Erschienen am 03.08.2006
lieferbar

Parallel and Distributed Logic Programming

Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal

0 Sterne
Buch

159.99

In den Warenkorb
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 08.10.2007
lieferbar
Buch

84.99

In den Warenkorb
Erschienen am 28.08.2007
lieferbar
Buch

84.99

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 11.08.2010
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 27.07.2007
lieferbar

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

128.39

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.05.2015
lieferbar

SAT 2005

0 Sterne
Buch

114.50

In den Warenkorb
Erschienen am 30.10.2006
lieferbar
Buch

104.85

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Buch

143.50

In den Warenkorb
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 21.03.2006
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 30.06.2010
lieferbar
Buch

74.89

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

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

90.90

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 22.09.2005
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
Buch

101.64

In den Warenkorb
Erschienen am 03.08.2006
lieferbar

Parallel and Distributed Logic Programming

Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal

0 Sterne
Buch

159.99

In den Warenkorb
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 08.10.2007
lieferbar
Buch

84.99

In den Warenkorb
Erschienen am 28.08.2007
lieferbar
Buch

84.99

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 11.08.2010
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 27.07.2007
lieferbar

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

128.39

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.05.2015
lieferbar

SAT 2005

0 Sterne
Buch

114.50

In den Warenkorb
Erschienen am 30.10.2006
lieferbar
Buch

104.85

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Buch

143.50

In den Warenkorb
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 21.03.2006
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 30.06.2010
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 25.04.2008
lieferbar
0 Gebrauchte Artikel zu „Logic-Based Program Synthesis and Transformation“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich