Yazar
Marcin Jurdzinski
2 cilt bulundu.
Cilt sonuçları
Formal Modeling and Analysis of Timed Systems
Marcin Jurdziński · Springer Berlin Heidelberg
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Programming Techniques / Software engineering / Algorithm Analysis and Problem Complexity / Logic design
Formal Modeling and Analysis of Timed Systems
Marcin Jurdzinski, Dejan Nickovic · Springer Berlin / Heidelberg
267 sayfa · 2012
Computer simulation / System design / Machine theory / System analysis