NASA Formal Methods
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , |
| Ձևաչափ: | էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Springer Nature,
2025.
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | Access eBook |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| Ֆիզիկական նկարագրություն: | 1 online resource |
|---|---|
| Ձևաչափ: | Mode of access: World Wide Web. |
| ISBN: | 978-3-031-93706-4 |