Specification In B: An Introduction Using The B Toolkit
Autor:
Kevin Lano, Howard Haughton
Dostupnost:
50 % šance
Prohledáme celý svět
1 087
Kč
Offers a practical introduction to the B specification language and method, an approach to the devel...
