Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...
An introduction to the study of computing: fundamental concepts and skills; opportunities at Michigan Tech; career opportunities; social and ethical issues. An alternative starting point of the ...