Yazar
Sam Owre
4 cilt bulundu.
Cilt sonuçları
Abstract datatypes in PVS
Sam Owre · National Technical Information Service, distributor
Sayfa sayısı yok · 1997
Data structures / Trees (Mathematics) / Recursive functions / Data processing / Binary data
The formal semantics of PVS
Sam Owre · National Aeronautics and Space Administration, Langley Research Center
Sayfa sayısı yok · 1999
Specifications / Programming languages / Semantics / Program verification (Computers) / Prototypes
Theory interpretations in PVS
Sam Owre · Available from NASA Center for Aerospace Information
Sayfa sayısı yok · 2001
Mechanization / Proving / Programming languages
Analyzing tabular and state-transition requirements specifications in PVS
Sam Owre · National Aeronautics and Space Administration, Langley Research Center
Sayfa sayısı yok · 1997
Specifications / Errors / Computer programs / Cost reduction / Software development tools