Your search returned 3 results.

Results
	1.	Software Engineering vol. 2 Specification of Systems and Languages [electronic resource] Dines Bjorner by Bjorner, Dines SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Online resources: Click here to access online Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	2.	Software Engineering vol. 1 [electronic resource] : Abstraction and Modelling Dines Bjorner by Bjorner, Dines SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 Online resources: Click here to access online Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	3.	Combinatorial optimization: Theory and algorithms Bernhard Korte, Jens Vygen. by Korte, Bernhard Vygen, Jens Series: Algorithms and combinatorics Publication details: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, 2000 Availability: Items available for loan: IMAR (1)Call number: 519.64-KOR. Place hold Add to cart (remove)

Refine your search