Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /

Bibliographic Details
Corporate Authors: LOPSTR (Symposium) Madrid, Spain), SpringerLink (Online service)
Other Authors: Leuschel, Michael
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2003]
Series:Lecture notes in computer science ; 2664.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.63 .L69 2002
 
Call Number Status Get It
QA76.63 .L69 2002 Available