
Automated database applications testing specification representation for automated reasoning
Başlık:
Automated database applications testing specification representation for automated reasoning
Yazar:
Mikhail, Rana Farid.
Yayın Bilgileri:
Singapore ; Hackensack, NJ : World Scientific, c2010.
Fiziksel Tanımlama:
xiv, 195 p. : ill.
Seri:
Series in machine perception and artificial intelligence ; v. 76
Series in machine perception and artificial intelligence ; v. 76.