We use cookies to make your experience better. To comply with the new e-Privacy directive, we need to ask for your consent to set the cookies. Learn more.
SPARK
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential.
It facilitates the development of applications that demand safety, security, or business integrity.
Blueprints
Switch to Products- Craft
- Art
- Beauty & Wellnes
- Food & Drinks
- Sports
- Green Future
- Entertainment
- Environment
- Wearables
- Technology
-
Sciences
- Agriculture
- Archaeology
- Astronomy
- General - Introductory Astronomy
- Archaeoastronomy
- Astrobiology
- Astrochemistry
- Astrometry
- Astrophysics
- Cosmology
- Extragalactic Astronomy
- Galaxy Formation & Evolution
- Galactic Astronomy
- High-Energy Astronomy
- Infrared Astronomy
- Optical Astronomy
- Planetary Sciences
- Radio Astronomy
- Star Formation
- Stellar Astronomy
- Stellar Evolution
- Biology
- General - Introductory Biology
- Agriculture
- Anatomy
- Biochemistry
- Bioinformatics
- Biomathematics
- Biomechanics
- Biophysics
- Biotechnology
- Botany
- Cell Biology
- Conservation Biology
- Cryobiology
- Developmental Biology
- Ecology
- Entomology
- Environmental Biology
- Ethology
- Evolutionary Biology
- Genetics
- Herpetology
- Histology
- Ichthyology
- Macrobiology
- Mammology
- Marine Biology
- Medicine
- Microbiology
- Molecular Biology
- Neurobiology
- Oceanography
- Ornithology
- Paleontology
- Pathology
- Parisitology
- Pharmacology
- Physiology
- Zoology
- Chemistry
- General - Introductory Chemistry
- Analytical Chemistry
- Astrochemistry
- Biochemistry
- Chemical Engineering
- Chromatography
- Cryogenics
- Crystallography
- CSI Chemistry and Forensic Science
- Environmental Chemistry
- Fire & Combustion Chemistry
- Geochemistry & Petrochemistry
- History of Chemistry
- Industrial and Engineering Chemistry
- Inorganic Chemistry
- Materials Science
- Medical Chemistry & Drugs
- Nanotechnology
- Nuclear Chemistry
- Organic Chemistry
- Physical Chemistry & Thermochemistry
- Pigment & Color Chemistry
- Polymer Chemistry
- Spectroscopy & Spectrometry
- Physics
- Medical
- Culture & History
- Reverse Engineering
Products
Switch to Services- Books
- Production
- Raw Materials
- Biology
- Chemistry
- Electronics
- Mechanics
- Tools
My Wish Lists