Formal specification and software development

Periodica

The article is a part of

lorem ipsum dolor sit amet ...

Tidsskrift

The articles in are frequently about

All registered articles grouped by issue

...

Introduction to PASCAL

Jim Welsh

Software development : a rigorous approach

Cliff B. Jones

The craft of programming

John C. Reynolds

Formal specification and software development

Dines Bjørner (1937-)

Formal specification and software development

Dines Bjørner

Applied assembly language on the BBC microcomputer

Edward Ball

Micro-PROLOG : programming in Logic

Keith L. Clark

Programming from first principles

Richard Bornat

Programming in occam

Geraint Jones (f. 1957)

Introduction to functional programming

Richard Bird