Knihobot

Rechnerunterstützung formaler Beweissprachen

Nákup knihy

Rechnerunterstützung formaler Beweissprachen, Matthias Anlauff

Jazyk
Rok vydání
1995
Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit