An introduction to discrete mathematics and formal system specification /
D.C. Ince.

Description

Tools

Cite this Export citation file

Main Author: Ince, D. (Darrel)
Language(s): English
Published: Oxford [Oxfordshire] : Clarendon Press, 1988.
Subjects: System design.
Computer science > Computer science / Mathematics.
Note: Includes index.
Physical Description: xii, 349 p. : ill. ; 23 cm.
ISBN: 0198596642
0198596677 :
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of Michigan
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Software quality and reliability tools and methods

Author: Ince, D. (Darrel)
Published: 1991

Software engineering : the decade of change

Author: Ince, D. (Darrel)
Published: 1986

Object-oriented software engineering with C++

Author: Ince, D. (Darrel)
Published: 1991

A dictionary of the Internet

Author: Ince, D. (Darrel)
Published: 2001

ISO 9001 and software quality assurance

Author: Ince, D. (Darrel)
Published: 1994

Developing distributed and e-commerce applications

Author: Ince, D. (Darrel)
Published: 2002

Developing distributed and E-commerce applications

Author: Ince, D. (Darrel)
Published: 2004

Software prototyping, formal methods, and VDM

Author: Hekmatpour, Sharam, 1961-
Published: 1988

Practical formal methods with VDM

Author: Andrews, D. (Derek)
Published: 1991

Mechanical intelligence

Author: Turing, Alan, 1912-1954.
Published: 1992