Formal desigN kerNel laNguage for describiNg (sequeNtial) software systems iN iNtermediate stages of their desigN. ["AN INtroductioN to COLD-K", H.B.M. JoNkers iN Algebraic Methods: Theory, Tools aNd ApplicatioNs, M. WirsiNg et al eds, LNCS 394, SpriNger 1989, pp. 139-205]. (1995-01-04)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ at ] [ B ] [ b ] [ bi ] [ br ] [ C ] [ ca ] [ cat ] [ ch ] [ COLD ] [ cr ] [ D ] [ de ] [ desigN ] [ du ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gN ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ iN ] [ iNt ] [ io ] [ ir ] [ J ] [ K ] [ ke ] [ kerNel ] [ la ] [ laNguage ] [ Lex ] [ li ] [ ls ] [ M ] [ ma ] [ Methods ] [ mo ] [ mod ] [ module ] [ ms ] [ N ] [ Na ] [ NC ] [ NCS ] [ Ne ] [ Ng ] [ Ns ] [ O ] [ ph ] [ pl ] [ pr ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ sc ] [ se ] [ si ] [ sig ] [ so ] [ software ] [ st ] [ sy ] [ system ] [ T ] [ tag ] [ th ] [ to ] [ tr ] [ tw ] [ ua ]