| Springer Verlag, March 1, 2002, cover price $279.00 | About this edition:
This volume includes versions of papers selected from those presented at the THIESEL 2000 Conference on Thermofluidynamic Processes in Diesel Engines, held at the Universidad Politecnica de Valencia, during the period of September th th 13 to 15 , 2000.
, titled "Abstraction and Specification in Program Development" | McGraw-Hill, January 1, 1986, cover price $54.95 | also contains Abstraction and Specification in Program Development
| About this edition:
Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain.