Summary goes here

Մատենագիտական մանրամասներ

Ձևաչափ:	Գիրք
Լեզու:	անգլերեն
Խորագրեր:	Computer software Formal methods (Computer science)
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!