Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Using formal description techniques : an introduction to Estelle, LOTOS, and SDL / Edited by Kenneth J Turner

by Turner, Kenneth J.

Series: Wiley series in communication and distributed systemsMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: England : John Wiley & Sons , 1993cAvailability: Items available for loan: 1 Call number: 004.6 TUR-U 1993 2968.

Place hold Log in to add tags Add to cart
Systematic program design : from clarity to efficiency / by Yanhong Annie Liu

by Liu, Yanhong Annie, 1965-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2013Availability: Items available for loan: 1 Call number: 005.1 LIU-S 2013 4435.

Place hold Log in to add tags Add to cart
Pages