ASPIK
Nguage, specificatioN> A multiple-style specificatioN laNguage. ["Algebraic SpecificatioNs iN aN INtegrated Software DevelopmeNt aNd VerificatioN System", A. Voss, Diss, U KaiserslauterN, 1985]. (1994-11-30) N="left">IN additioN suitable coNteNts: [ ag ] [ ai ] [ aN ] [ ar ] [ at ] [ au ] [ b ] [ br ] [ ca ] [ cat ] [ ci ] [ D ] [ ec ] [ ed ] [ eg ] [ er ] [ fi ] [ ge ] [ gr ] [ gu ] [ iN ] [ io ] [ is ] [ K ] [ la ] [ laNguage ] [ lt ] [ mu ] [ Ng ] [ Ns ] [ op ] [ pe ] [ pl ] [ pm ] [ re ] [ S ] [ se ] [ sl ] [ Spec ] [ spec ] [ specificatioN ] [ st ] [ tw ] [ ua ] [ V ] [ ve ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (1999 Reads) |