Lawrence C. PaulsonLogic and Computation : Interactive Proof with Cambridge LCF Pris 826,- Paperback Legg i
Acm SigbedHscc 11 Proceedings of the 14th International Conference on Hybrid Systems : Computation and Control Pris 962,- Paperback Legg i
Kurapati VenkateshModeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach Pris 1671,- Innbundet Legg i