Showing
1 - 1
results of
1
for search '
'
Skip to content
University of Jyväskylä
|
Thesis search
Language
Suomi
English
University of Jyväskylä
|
Thesis search
Language
Suomi
English
All Fields
Title
Author
Subject
Find
Advanced
Applied Filters:
automatic subjects:
Remove Filter
sketches
Page will reload when a filter is removed.
Reset Filters
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
automatic subjects:
Remove Filter
sketches
Search Results
Suggested Topics within your search.
Ebba
1
automaattinen päättely
1
formaalinen logiikka
1
formaalit menetelmät B
1
historia
1
kuvauskielet
1
kuvauskielet Abstract Machine Notation
1
kuvauskielet Generalized Substitution Language
1
ohjelmistotekniikka matemaattiset menetelmät B
1
tietokoneohjelmat
1
Showing
1 - 1
results of
1
for search '
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
The formal method known as B and a sketch for its implementation
by
Kaijanaho, Antti-Juhani
Published 2002
Call Number:
Loading…
Located:
Loading…
Get full text
Master's thesis
Search Tools:
RSS Feed
Refine Results
Page will reload when a filter is selected or excluded.
Available online
Format
Master's thesis
1 results
1
Year of Publication
From:
To:
subjects
Ebba
1 results
1
automaattinen päättely
1 results
1
formaalinen logiikka
1 results
1
formaalit menetelmät B
1 results
1
historia
1 results
1
kuvauskielet
1 results
1
kuvauskielet Abstract Machine Notation
1 results
1
kuvauskielet Generalized Substitution Language
1 results
1
ohjelmistotekniikka matemaattiset menetelmät B
1 results
1
tietokoneohjelmat
1 results
1
see all…
Faculty
Informaatioteknologian tiedekunta
1 results
1
automatic subjects
computer programmes
1 results
1
description languages
1 results
1
formal logic
1 results
1
history
1 results
1
sketches
Language
eng
1 results
1