Summary goes here
সংরক্ষণ করুন:
| বিন্যাস: | গ্রন্থ |
|---|---|
| ভাষা: | ইংরেজি |
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 7469fb7b-b8cd-43fe-8061-d67ee8eaf6ab |
| isbn | |
| issn | |
| language | eng |
| physical | 1 online resource (31 pages). |
| publication | – publisher: National Aeronautics and Space Administration Langley Research Center dateOfPublication: 2011 |
| publishDate | 2011 |
| subjects | |
| title | Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño. |
| topic | Specifications. Algorithms. specifications. algorithms. Algorithms Specifications Program verification (computers) Specifications. Approach control. Data flow analysis. Algorithms. Parallel programming. Spécifications. Algorithmes. Algorithms |