Logic and specification : extending VDM-SL for advanced formal specification

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	London : Chapman & Hall , 1993
Omfang	xi, 404 s.
Emner	Logic, Symbolic and mathematical Programming languages (Electronic computers) - Semantics Software engineering Formell spesifikasjon Vis mer... Logikkprogrammering Programmeringsspråk Semantikk
ISBN	0412486806

Biblioteksøk