Skip to main content

Tag specification languages

1 Time 1 Work 1 Member

Tagged Works

Covers
List

Sort Count Weighted Popular

All
This year
Last 2 years
Last 5 years
Last 10 years
Before 1900
Custom

All
Ebook
Audiobook

Logics of Specification Languages

1

Logics of Specification Languages by Dines Bjørner

show more show less

Using the Tag

davidpenton (1)

Related Series

EATCS Monographs in Theoretical Computer Science

Related Tags

Loading...

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson