ASPIK
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 - (1951 Reads) |
