Formal methods: state of the art and new directions
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Ekitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
London
Springer-Verlag
2010.
|
| Konular: | |
| Online Erişim: | Click here to view the full text content |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| Fiziksel Özellikler: | 1 online resource digital. |
|---|---|
| ISBN: | 9781848827363 9781848827356 |