Bookbot

Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme

Autori

Nákup knihy

Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme, Gerd Kock

Jazyk
Rok vydania
1992
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť