SPARK 2014 USERS GD
Autor:
Adacore Team, Altran Uk Ltd
Dostupnost:
Skladem u dodavatele
Odesíláme za 9-15 dnů
831
Kč
SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of h...
