The formal method known as B and a sketch for its implementation

Main Author

Kaijanaho, Antti-Juhani

Format

Theses Master thesis

Published

2002

Subjects

kuvauskielet

ohjelmistotekniikka

automaattinen päättely

formaalit menetelmät

formaalinen logiikka

atk-ohjelmat

historia

Ebba

The permanent address of the publication

https://urn.fi/URN:NBN:fi:jyu-2002888118Käytä tätä linkitykseen.

Language

English

License

In Copyright

Open Access