Formal Specification and Documentation Using Z

O knihe

Kniha, ku ktorej sa budete vracať. Opiera sa o archívne dokumenty a dobové svedectvá. Autor Jonathan Bowen v nej nadväzuje na svoje predchádzajúce práce. Bohato ilustrované vydanie.

Podrobnosti

Vydavateľstvo