Software engineering 2: specification of systems and languages / D Bjorner
Material type:
TextPublication details: New Delhi: Springer 2007Description: xxiv, 777pISBN: - 9 788181 287854
- 004.41 BJO
No physical items for this record
TextPublication details: New Delhi: Springer 2007Description: xxiv, 777pISBN: University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India
There are no comments on this title.