Logic Program Synthesis and Transformation - Meta-Programming in Logic
Laurent Fribourg, Franco Turini
Häftad, 1994
572 kr
Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
E-bok
PDF, Engelska, 20031 427 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Control of Switching Systems by Invariance Analysis
Laurent Fribourg, Romain Soulat
Inbunden, 2013
1 945 kr
- Signerad!
Del 3
- -17%
- Nyhet