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
 
9781119002727

Fiziksel Tanımlama
: 
1 online resource.

Seri
: 
Computer engineering series
 
Computer engineering series (London, England)

Konu Terimleri
: 
B method (Computer science)
 
Formal methods (Computer science)

Yazar Ek Girişi
: 
Boulanger, Jean-Louis,

Elektronik Erişim
: 
ebrary An electronic book accessible through the World Wide Web; click to view
 
John Wiley http://dx.doi.org/10.1002/9781119002727


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap342119-1001ONLINE(342119.1)Elektronik Kütüphane