Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
tarafından
Groves, Lindsay. editor.
Başlık
:
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Yazar
:
Groves, Lindsay. editor.
ISBN
:
9783642412028
Fiziksel Tanımlama
:
XVIII, 466 p. 136 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 8144
Konu Terimleri
:
Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Yazar Ek Girişi
:
Sun, Jing.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 335072-1001 | ONLINE(335072.1) | | Elektronik Kütüphane |