Refine Result: Format: Country of publication: Publication date: Sort results by: All Formats ( 3 ) Hardback (2)Paperback (1) All Countries ( 3 ) United Kingdom (3) All Dates( 3 ) New this month (0)Last 3 months (0)Forthcoming releases (0) Default Price Low to high Price High to low Pub date old to new Pub date new to old		Page 1 of 1
Displaying: 1 - 3 of 3 items.
	A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory By T. H. Tse Paperback / softback Usually ships within 3-5 weeks
	Higher Order Logic and Hardware Verification By T. F. Melham Hardback Usually ships within 3-5 weeks
	Finite-State Techniques: Automata, Transducers and Bimachines By Stoyan Mihov , Klaus U. Schulz Hardback Usually ships within 3-5 weeks
		Page 1 of 1