Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addre...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Edisyon: | 1st ed. 2023. |
| Seri Bilgileri: | Lecture Notes in Computer Science,
13490 |
| Konular: | |
| Online Erişim: | https://doi.org/10.1007/978-3-031-43678-9 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Sistem Bakımda
Kütüphane sistemimiz bakımda.
Kopya kayıtları ve kayıların durum bilgileri şu anda erişilebilir değil. Bunun için özür dileriz, daha fazla yardım için bizimle irtibata geçebilirsiniz: