Your search returned 2 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)

Refine your search