Your search returned 3 results.

Results
	1.	Graph drawing software/ Michael Jünger, Petra Mutzel (editors). by Junger, M. (Michael) Mutzel, Petra Symposium on Graph Drawing (9th: 2001: Vienna, Austria) Series: Mathematics and visualization Publication details: Berlin; New York: Springer, 2004 Online access: Table of contents Availability: Items available for loan: Castorina (1)Call number: 006.6 G766 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Formal verification of control system software/ Pierre-Loïic Garoche. by Garoche, Pierre-Loïc, 1982 Series: Princeton series in applied mathematics Publisher: Princeton, New Jersey: Princeton University Press, [2019] Availability: Items available for loan: Castorina (1)Call number: 005.12 G237f 2019 IMPA. Lists: Títulos novos. Found in Open Library: Place hold Add to cart (remove)
	3.	Elements of software science/ Maurice H. Halstead. by Halstead, Maurice H. (Maurice Howard), 1918- Series: Operating and programming systems series ; 2. Publication details: New York: Elsevier, c1977 Availability: Items available for loan: Castorina (1)Call number: 005.12 H196e 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search