Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).

Bruynooghe, Maurice (Ed.):

Published by Berlin etc. : Springer, 2004

About this Item

X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.

Seller Inventory # 811210

Bibliographic Details

• Title: Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).
• Publisher: Berlin etc. : Springer
• Publication Date: 2004
• Language: English
• Binding: Softcover/Paperback.
• Condition: Sehr gut
• Seller catalogs:
  • Informatik, Hardware, Software