Modular specification and verification of object-oriented programs

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 , c2002
Omfang	XIV, 292 s. : fig.
Emner	Formell spesifikasjon (Programutvikling) Objektorientert programmering Programspesifikasjon Programvare - Verifisering Vis mer... Programverifikasjon objektorientert programmering spesifikasjoner verifikasjon programvare objektorientert programmering
ISBN	3540431675

Biblioteksøk