Formal methods applied to complex systems : implementation of the B method
tarafından
Boulanger, Jean-Louis, editor.
Başlık
:
Formal methods applied to complex systems : implementation of the B method
Yazar
:
Boulanger, Jean-Louis, editor.
ISBN
:
9781119002680
Fiziksel Tanımlama
:
1 online resource (512 pages) : illustrations, tables.
Seri
:
Computer Engineering Series
Computer engineering series.
Notlar
:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Konu Başlığı
:
B method (Computer science)
Formal methods (Computer science)
Tür
:
Electronic books.
Added Author
:
Boulanger, Jean-Louis,
Elektronik Erişim
:
| Yer Numarası | Demirbaş Numarası | Shelf Location | Shelf Location | Holding Information |
|---|
| QA76.9 .B22 .F676 2014 | 1034970-1001 | Ebook Central | Ebook Central | |