1. NASA Formal Methods
پدیدآورنده : \ Klaus Havelund , Gerard Holzmann, Rajeev Joshi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.
رده :
.
N32
2015
E-Book
,
2. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
پدیدآورنده : / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
