Cover of Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, UK, July 24-28, 2000 Selected Papers by Lau, K. -K, Lau, Kung-Kiu, ISBN 9783540421276
General

Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, UK, July 24-28, 2000 Selected Papers

LOGIC BASED PROGRAM SYNTHESIS

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783540421276

โ‚น5,675 2%
โ‚น5,804

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783540421276
Subtitle LOGIC BASED PROGRAM SYNTHESIS
Publisher Springer
Publication date May 2001
Language English
MRP ยฃ44.99 GBP
Page count 196
Item weight 63 g

Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, UK, July 24-28, 2000 Selected Papers published by Springer.