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
formal logic
AND
Remove Filter
sketches
Faculty:
Remove Filter
Informaatioteknologian tiedekunta
Language:
Remove Filter
eng
subjects:
5 filters
Remove Filter
Ebba
AND
Remove Filter
formaalinen logiikka
AND
Remove Filter
historia
AND
Remove Filter
kuvauskielet Generalized Substitution Language
AND
Remove Filter
kuvauskielet
Page will reload when a filter is removed.
Reset Filters
Page will reload when a filter is removed.
Reset Filters
Show filters (9)
automatic subjects:
Remove Filter
formal logic
AND
Remove Filter
sketches
Faculty:
Remove Filter
Informaatioteknologian tiedekunta
Language:
Remove Filter
eng
subjects:
5 filters
Remove Filter
Ebba
AND
Remove Filter
formaalinen logiikka
AND
Remove Filter
historia
AND
Remove Filter
kuvauskielet Generalized Substitution Language
AND
Remove Filter
kuvauskielet
Search Results
Suggested Topics within your search.
Ebba
automaattinen päättely
1
formaalinen logiikka
formaalit menetelmät B
1
historia
kuvauskielet
kuvauskielet Abstract Machine Notation
1
kuvauskielet Generalized Substitution Language
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
automaattinen päättely
1 results
1
formaalinen logiikka
formaalit menetelmät B
1 results
1
historia
kuvauskielet
kuvauskielet Abstract Machine Notation
1 results
1
kuvauskielet Generalized Substitution Language
ohjelmistotekniikka matemaattiset menetelmät B
1 results
1
tietokoneohjelmat
1 results
1
see all…
Faculty
Informaatioteknologian tiedekunta
automatic subjects
computer programmes
1 results
1
description languages
1 results
1
formal logic
history
1 results
1
sketches
Language
eng