![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Publisher: Oxford University Press
Founded in: 1957
Total resources: 4
E-ISSN: 1746-5710
ISSN: 1746-5702
Subject: TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
ITNOW
Menu
![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
By Sutcliffe AP,Umeh Jude,Rees Mike,Dunn Nick,Wheatcroft Peter,Rossi Adrian M. in (2013)
ITNOW , Vol. 55, Iss. 2, 2013-06 , pp.![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
Formal methods in LARGE-SCALE computing systems
By Malik Saif U. R.,Khan Samee U. in (2013)
ITNOW , Vol. 55, Iss. 2, 2013-06 , pp.![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
![](/images/ico/ico5.png)