An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author... Læs mere
An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author... Læs mere