Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker
Abschlussbedingungen
PDF
Klicken Sie auf den Link 'main.pdf', um die Datei anzuzeigen.