Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

av

Michael Yoeli Rakefet Kol

, utgiven av: John Wiley & Sons, John Wiley & Sons

Köp här

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

av

Michael Yoeli Rakefet Kol

, utgiven av: John Wiley & Sons, John Wiley & Sons

Köp här

Utgivningsår: 20080331 Isbn: 9780471704492 Utgivare: John Wiley & Sons Mediatyp: BB