ASPIK
CifiCation> A multiple-style speCifiCation language. ["AlgebraiC SpeCifiCations in an Integrated Software Development and VerifiCation System", A. Voss, Diss, U Kaiserslautern, 1985]. (1994-11-30) 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 - (1961 Reads) |
