1. Practical TLA+ : planning driven development /: planning driven development. ([2018]) Authors: Wayne, Hillel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999 /: proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999. (1999) Other Names: Dssouli, R (Rachida); Bochmann, Gregor V, 1941-; LaHav, Yair; SDL Forum, 9th Record Type: Book Extent: 1 online resource (489 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗