4 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
0000DEFAULTTR
Yazdır
1. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
Operating systems (Computers).
2. 
Petri Net Synthesis için kapak resmi
Petri Net Synthesis
Petri Net Synthesis
Yazar 
Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
3. 
Introduction to Concurrency Theory Transition Systems and CCS için kapak resmi
Introduction to Concurrency Theory Transition Systems and CCS
Introduction to Concurrency Theory Transition Systems and CCS
Yazar 
Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
4. 
Process Algebras for Petri Nets The Alphabetization of Distributed Systems için kapak resmi
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Yazar 
Gorrieri, Roberto. author.
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
Tümünü Seç
4 sonuç bulundu Arama sonuçlarına abone ol

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope