Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, Nov - detaljert visning

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	Berlin : Springer , c2000
Omfang	X, 439 s. : ill.
Emner	Formal methods (Computer science) Formell spesifikasjon (Programutvikling) formelle metoder
ISBN	3540411968

Biblioteksøk