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
Buch

84.99

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Buch

143.50

In den Warenkorb
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.05.2015
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

73.00

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 26.06.2002
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 10.09.2008
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 08.06.2009
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Buch

62.05

In den Warenkorb
Erschienen am 21.07.2018
lieferbar
Buch

288.50

In den Warenkorb
Erschienen am 30.09.2000
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 20.07.2009
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
Buch

84.99

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Buch

143.50

In den Warenkorb
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.05.2015
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

73.00

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 26.06.2002
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 10.09.2008
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 08.06.2009
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Buch

62.05

In den Warenkorb
Erschienen am 21.07.2018
lieferbar
Buch

288.50

In den Warenkorb
Erschienen am 30.09.2000
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 20.07.2009
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