Cover Image
Read Now

Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Bibliographic Details
Main Author: Leuschel, M
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:Lecture Notes in Computer Science
Subjects:
Computer Science
Logic Design
Logics And Meanings Of Programs
Mathematical Logic And Formal Languages
Programming Techniques
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 01060nmm a2200277 u 4500
001 EB000287148
003 EBX01000000000000000052832
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540404385 
020 |a 978-3-540-40438-5 
100 1 |a Leuschel, M 
245 0 0 |a Logic Based Program Synthesis and Transformation  |h Elektronische Ressource  |b 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers  |c by M Leuschel 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2003 
300 |b v. digital 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 4 0 |u http://www.springerlink.com/content/a2j5e1vgnkf7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Computer science 
650 4 |a Logic design 
650 4 |a Computer Science 
650 4 |a Logics and Meanings of Programs 
650 4 |a Mathematical Logic and Formal Languages 
650 4 |a Programming Techniques 

Similar Items