Arama Sonuçları Formal methods (Computer science) - Daraltılmış: 2009
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092009$0025092009$0026ps$003d300?dt=list
2025-12-06T20:41:19Z
Practical UML statecharts in C/C++ event-driven programming for embedded systems
ent://SD_ILS/0/SD_ILS:147373
2025-12-06T20:41:19Z
2025-12-06T20:41:19Z
Yazar Samek, Miro.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750687065">http://www.sciencedirect.com/science/book/9780750687065</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Process algebra for parallel and distributed processing
ent://SD_ILS/0/SD_ILS:545039
2025-12-06T20:41:19Z
2025-12-06T20:41:19Z
Yazar Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-<br/>Yer Numarası QA76.58 .P7664 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420064872">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>