Work

An Introduction to Programming with Specifications

Year: 1991

Type: book

Source: Elsevier eBooks

DOI: 10.1016/c2009-0-21605-9

Authors: Roman Rudziński, S. Sokołowski, Ryszard Kubiak

Institution: Polish Academy of Sciences

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4241852222

FWCI:

Cites:

Cited by: 2

Related to: 10