搜尋書籍

搜尋「edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.」的結果： 找到 37,171 本書籍， 0 個書架

館藏
Logics and languages for reliability and security
edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
IOS Press
2010
ISBN 9781607501008 (electronic bk.) ; 9781607500995
館藏
Software safety and security : tools for analysis and verification
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
IOS Press
2012
ISBN 9781614990284 (electronic bk.) ; 9781614990277
館藏
Formal logical methods for system security and correctness
edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
IOS Press
c2008.
ISBN 9781607503156 (electronic bk.) ; 9781586038434
館藏
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday
edited by Orna Grumberg ... [et al.].
Springer Berlin Heidelberg
2009
ISBN 9783642017483 (electronic bk.) ; 9783642017476 (paper)
館藏
Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
edited by Javier Esparza, Rupak Majumdar.
Springer-Verlag Berlin Heidelberg
2010
ISBN 9783642120022 (electronic bk.) ; 9783642120015 (paper)
館藏
International humanitarian law and international human rights law : pas de deux
edited by Orna Ben-Naftali.
Oxford University Press
2011
ISBN 9780191729447 (ebook) : ; 0191729442 (ebook) :
查看全部 37,171 本書籍

沒有找到相關書架

請嘗試其他關鍵字