Towards formal specification and proof of finite element software within the ATES development system

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	[S.l.] : [s.n.] , [1991?]
Omfang	236 s. : ill.
Opplysninger	Avh. (doktorgrad) - Universiteit Twente, 1991
Emner	Elementmetoden - Databehandling
ISBN	9090043373

Biblioteksøk