Wydania przez Kenneth Mcmillan

Wszystko2
Hardcover Book1
Paperback Book1

Dostępne w magazynie iMusic Pokaż niedostępne przedmioty

Cover for Kenneth Mcmillan · Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Verification, Model Checking, an... (2014)

Kenneth Mcmillan

Cover for Kenneth McMillan · Symbolic Model Checking (Hardcover Book) (1993)

Symbolic Model Checking (1993)

Kenneth McMillan