SmallVDM
["SmallVDM: An EnvIRonment for Formal Specification and Prototyping in Smalltalk", in Object Oriented Specification Case Studies, K. Lano et al eds, P-H 1993]. (1996-04-20) In addition suitable contents: [ 2 ] [ al ] [ an ] [ as ] [ at ] [ b ] [ bj ] [ C ] [ ca ] [ cat ] [ ci ] [ D ] [ die ] [ E ] [ ec ] [ ed ] [ es ] [ et ] [ fi ] [ fo ] [ for ] [ ie ] [ in ] [ io ] [ IR ] [ IRon ] [ K ] [ lk ] [ lt ] [ M ] [ ma ] [ mall ] [ ng ] [ no ] [ O ] [ pe ] [ ping ] [ ro ] [ S ] [ se ] [ Smalltalk ] [ Spec ] [ talk ] [ to ] [ tool ] [ V ] [ VDM ] [ vi ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (2053 Reads) |