Yazar
Margus Veanes
5 cilt bulundu.
Cilt sonuçları
Tests and Proofs
Margus Veanes · Imprint: Springer
243 sayfa · 2013
Mathematical Logic and Formal Languages / Programming Techniques / Software engineering / Simulation and Modeling / Logic design
Model-based software testing and analysis with C♯
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte · Cambridge University Press
368 sayfa · 2007
C♯ (Computer program language) / Quality control / Testing / Computer software / Computer software, quality control
On simultaneous rigid E-unification
Margus Veanes · Uppsala University, Computing Science Dept.
122 sayfa · 1997
Automatic theorem proving
Testing of Software and Communicating Systems
Margus Veanes, Jan Tretmans, Wolfgang Grieskamp · Springer London, Limited
Sayfa sayısı yok · 2007
Kategori yok