Bookbot

Verification, model checking, and abstract interpretation

Nákup knihy

Verification, model checking, and abstract interpretation, Bernhard Steffen

Jazyk
Rok vydania
2004
product-detail.submit-box.info.binding
(mäkká)
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť