Autorzy | |
Wydawnictwo | Springer Nature |
Data wydania | 13/05/2013 |
Forma publikacji | eBook: Fixed Page eTextbook (PDF) |
Język | angielski |
ISBN | 9783642386138 |
Kategorie | Logika matematyczna, Programowanie komputerowe/rozwój oprogramowania, Języki programowania i skrypty, Inżynieria oprogramowania |
Integrated Formal Methods