Yazar
Werner Damm
8 cilt bulundu.
Cilt sonuçları
Practical formal methods for hardware design
Carlos Delgado Kloos, Werner Damm · Springer
293 sayfa · 1997
Logic circuits / Methodology / Computer hardware description languages / Digital integrated circuits / Formal methods (Computer science)
Integration of Software Specification Techniques for Applications in Engineering
Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif · Springer London, Limited
Sayfa sayısı yok · 2011
Software engineering