The B language and method : A guide to practical formal development

Uložené v:
Podrobná bibliografia
Hlavný autor: Lano, Kevin (Autor)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: London : Springer Verlag, 1996
Predmet:
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!