computers > software development & engineering / systems analysis & design
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997,
Imported Edition - Ships in 18-21 Days
Free Shipping in India on orders above Rs. 500