SOFTWARE ENGINEERING;INTERNET LANGUAGES; DESIGN METHODS FOR REACTIVE SYSTEMS DESIGN METHODS FOR REACTIVE SYSTEMS By WIERINGA R.J. MORGAN KAUFMANN PUBLISHERS/ACADEMIC PRESS 2003 US $ 111.00