Log in

Normal view MARC view ISBD view

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers

By: Leuschel, Michael.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: 2664. Lecture notes in computer science.Publisher: Berlin: Springer-Verlag, 2003Description: 279 p.; Index.: 24 cm.ISBN: 9783540404385.Subject(s): Debugging | Tabling | LOPSTR | Program Refinement | program transformation | Verification | Partial EvaluationDDC classification: 004

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		004 LEU (Browse shelf)	Available		007164

Browsing DAIICT Shelves Close shelf browser

Previous								Next
Previous	004 LEO Algorithms and models for the Web-graph : Third International Workshop, WAW 2004 Rome, Italy, October 2004, proceedings	004 LEO Multimedia applications, services and techniques, ECMAST '99 : 4th European Conference, Madrid, Spain, May 26-28, 1999 : proceedings	004 LES Intelligent tutoring systems : Seventh International Conference, ITS 2004, Maceio, Brazil, August 30 - September 3, 2004 ; proceedings	004 LEU Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers	004 LEW Elements of the Theory of Computation	004 LEW Elements of the Theory of Computation	004 LEW Elements of the Theory of Computation	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha