Search ResultsElektronik Kaynaklar
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Rudiments of [mu]-calculus için kapak resmi
      1. 
      Rudiments of [mu]-calculus
      by 
      Arnold, A. (André), 1945-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444506207
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=146
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/146
      Format: 
      Alıntı: 
      interested in logic in computer science, comuter aided verification, and general aspects of automata theory
      Handbook of process algebra için kapak resmi
      2. 
      Handbook of process algebra
      by 
      Bergstra, J. A.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444828309
      Format: 
      Alıntı: 
      topic areas of computer science and discrete math, including system design notations, logic, concurrency