Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Ince, D Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 5 of 5 reviews    
  An introduction to discrete mathematics, formal system specification, and Z
Ince D. (ed), Oxford University Press, Inc., New York, NY, 1993.  Type: Book (9780198538363)

The fact that this book now appears in its second edition attests to the popularity of both the subject matter and the author’s way of dealing with it. The author has two aims: to introduce logic, sets, relations, and functio...
...
Aug 1 1995  
  Mechanical intelligence (collected works of A. M. Turing)
Ince D. (ed), North-Holland Publishing Co., Amsterdam, The Netherlands, 1992.  Type: Book (9780444880581)

Given the modern tendency to compartmentalize disciplines, it is especially refreshing to find such a wide range of topics discussed by a single person. Mechanical intelligence, the second of four volumes of the collected works ...
...
Aug 1 1993  
  Software engineering
Ince D. (ed), Van Nostrand Reinhold Co., New York, NY, 1989.  Type: Book (9780278000797)

This software engineering tutorial for first- and second-year students is an excellent introduction to many of the principles of software development. After a brief introduction to the phases of software development, chapter 2 explains...
...
Mar 1 1991  
  An introduction to discrete mathematics and formal system specification
Ince D. (ed), Clarendon Press, New York, NY, 1988.  Type: Book (9789780198596677)

As indicated by the title, this text takes the interesting approach of presenting both the usual topics of discrete mathematics and a formal specification language at the introductory level. The text is divided into three parts, follow...
...
Jan 1 1990  
  A program design language based software maintenance tool
Ince D. (ed) Software--Practice & Experience 15(6): 583-594, 1985.  Type: Article

This paper describes a technique that models a software system from its description in Program Design Language (PDL). The author’s support tool generates a representation of the target system in a semantic net data structure,...
...
Mar 1 1986  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy