Work

Programming from specifications (2nd ed.)

Year: 1994

Type: book

Source: Prentice Hall International (UK) Ltd. eBooks

Author: Carroll Morgan

Institution: University of Oxford

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1492315860

FWCI: 19.37

Cites:

Cited by: 386

Related to: 10