Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches

Detaylı Bibliyografya
Materyal Türü: Elektronik Ekitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Association for Computing Machinery (ACM), 6/2/12
Konular:
Online Erişim:Full text available on Research4Life (ACM)
Diğer Bilgiler
Diğer Bilgileri:<strong>On-Campus Access Only (IP based access)</strong>
Fiziksel Özellikler:1 online resource
Materyal Türü:Mode of access: Internet
ISBN:9781467319065
Erişim:Electronic access restricted to authorized AUW faculty, staff and students