- Author: Mark Last, Abraham Kandel, Horst Bunke
- Language: English
- Year: 2004
Program Proofs
epub
- Author: K. Rustan M. Leino
- Language: English
- Year: 2023
- Author: Rajeev Kumar Suhel Ahmad Khan Raees Ahmad Khan
- Language: English
- Year: 2023
- Author: Марко Фаэлла
- Language: Русский
- Year: 2021
- Author: Roger Pressman Bruce Maxim
- Language: English
- Year: 2019
- Author: Smith Howard T. Garston
- Language: English
- Year: 2020
- Author: Visser Joost
- Language: English
- Year: 2016
- Author: O'Regan Cornelius Gerard
- Language: English
- Year: 2014
- Author: Molyneaux Ian
- Language: English
- Year: 2015
- Author: Matloff Norman S., Salzman P. J
- Language: English
- Year: 2008