Refine Result: Format: Country of publication: Publication date: Sort results by: All Formats ( 1 ) Hardback (1) All Countries ( 1 ) United Kingdom (1) All Dates( 1 ) 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 - 1 of 1 items.
	Real-Time Systems: Formal Specification and Automatic Verification By Ernst-Rudiger Olderog , Henning Dierks Hardback Usually ships within 3-5 weeks
		Page 1 of 1