MASCHINEN-UNABHÄNGIGE CODE-ERZEUGUNG ALS SEMANTIKERHALTENDE BEWEISBARE PROGRAMMTRANSFORMATION /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Stoyan, Herbert
Médium: Kniha
Jazyk:němčina
Vydáno: Berlin : Springer, 1984
Edice:INFORMATIK-Fachberichte Band 91
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky