Implementierung des Quicksort in COBOL.

Knut Hildebrand

Published in: Angew. Inform. (1989)

Keyphrases

programming language
formal specification
artificial intelligence
database
case study
general purpose
database systems
model checking
building blocks
wireless sensor networks
software systems