Yazar
Jaco van de Pol
4 cilt bulundu.
Cilt sonuçları
Model Checking Software
Jaco van de Pol · Springer Berlin Heidelberg
Sayfa sayısı yok · 2010
Logic design / Computer science / Software engineering / SPIN (Computer file) / Computer simulation
Integrated Formal Methods
Judi M. T. Romijn, Graeme P. Smith, Jaco C. Van De Pol · Springer
Sayfa sayısı yok · 2008
Kategori yok
Formal Methods : Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol · Springer London, Limited
Sayfa sayısı yok · 2007
Software engineering / Computer programs / Computer software, reliability / Computer software, verification
Integrated Formal Methods
Judi M. T. Romijn, Graeme P. Smith, Jaco C. van de Pol · Springer London, Limited
Sayfa sayısı yok · 2005
Computer science