Search

Kernel K Spade

from Galion, OH
Age ~66
Get Report
Also known as:
Kernal Spade, Keinal K Spade, Spade Kernel Kernal, Spade Kernel
Related to:
Karen A Wendell, 68Edna SpadeMichael P Spade, 30Jennifer Spayde, 62
Connected to:
Amanda N Spade, 38Anna M Spade, 64Darlene F Spade, 73Eric G Spade, 64Geoffrey R Spade, 39Janie Spade, 68Jared B Spade, 37Judy A Spade, 81Julie A Spade, 59Kristin Spade, 54

Kernel Spade Phones & Addresses

  • Galion, OH
  • Vance, AL
  • 512 Columbus St, Crestline, OH 44827
  • Lexington, SC
  • Jacksonville, FL

Education

School / High School: crestline high school- Crestline, OH 1978 Specialities: none

Resumes

Resumes

Kernel Spade Photo 1

Kernel Spade Galion, OH

View page
Education:
crestline high school
Crestline, OH
1978
none

Publications

Wikipedia

SPARK (programming language)

View page

Discharging these proof obligations is performed using the SPADE Simplifier ... SPARK - The SPADE Ada Kernel (including RavenSPARK) Comparison with a C ...
Control profile
Kernel K Spade from Galion, OH, age ~66 Get Report