Yazar
maria alpuente
4 cilt bulundu.
Cilt sonuçları
Logic-Based Program Synthesis and Transformation
María Alpuente · Springer Berlin Heidelberg
260 sayfa · 2011
Logic design / Software engineering / Algorithms / Computer science / Artificial intelligence
Automated specification and verification of web systems
María Alpuente, Santiago Escobar · IEEE Computer Society
71 sayfa · 2007
World Wide Web / Congresses / Internet
Static Analysis
María Alpuente, Germán Vidal-Oriola · Springer London, Limited
Sayfa sayısı yok · 2008
Computer programming / Programming languages (electronic computers)
Formal Methods for Industrial Critical Systems
María Alpuente, Byron Cook, Christophe Joubert · Springer London, Limited
Sayfa sayısı yok · 2009
Kategori yok