Your search returned 4 results. Subscribe to this search

|
1. Language prototyping : an algebraic specification approach / editors Arie van Deursen, Jan Heering, Paul Klint.

by Deursen, A. van (Arie), 1967- | Heering, J | Klint, Paul.

Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Singapore ; River Edge, NJ : World Scientific, c1996Availability: Items available for loan: IBB Library-Gidan Kwano [Call number: QA76.7.D83 1996] (1).

2. Algebraic specification techniques and tools for software development : the ACT approach / Ingo Claszen, Hartmut Ehrig, Dietmar Wolz.

by Classen, I | Ehrig, H | Wolz, D.

Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Singapore ; River Edge, N.J. : World Scientific, c1993Availability: Items available for loan: IBB Library-Gidan Kwano [Call number: QA76.76.D47.C62 1993] (1).

3. Theories and experiences for real-time system development / edited by Teodor Rus and Charles Rattray.-

by Rus, Teodor | Rattray, C. (Charles), 1938-.

Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Singapore ; River Edge, NJ : World Scientific, [1994]Copyright date: �1994Availability: Items available for loan: IBB Library-Gidan Kwano [Call number: QA76.T54 1994] (1).

4. An algebraic approach to compiler design / by Augusto Sampaio.-(print resources)

by Sampaio, Augusto.

Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Singapore : World Scientific, c1997Availability: Items available for loan: Awwal Ibrahim Library Bosso [Call number: QA76.76. S25 1997] (1).