Arama Sonu&ccedil;lar&#305; COMPUTERS -- Logic Design. - Daralt&#305;lm&#305;&#351;: 2010 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCOMPUTERS$002b--$002bLogic$002bDesign.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092010$0025092010$0026ps$003d300? 2024-12-11T14:41:12Z Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193496 2024-12-11T14:41:12Z 2024-12-11T14:41:12Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Hallerstede, Stefan. editor.&#160;Leuschel, Michael. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Understanding Concurrent Systems ent://SD_ILS/0/SD_ILS:175934 2024-12-11T14:41:12Z 2024-12-11T14:41:12Z Yazar&#160;Roscoe, A.W. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-258-0">http://dx.doi.org/10.1007/978-1-84882-258-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>