Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014 Toulouse, France, June 2-6, 2014 Proceedings /
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | কনফারেন্স প্রসিডিং গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Berlín, Alemania :
Springer,
2014, c2014
|
| মালা: | (Lecture Notes in Computer Science ;
8477) |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Ver documento en línea |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
আন্তর্জাল
Ver documento en línea| ডাক সংখ্যা: |
005. 131 INT 2014
|
||
|---|---|---|---|
| Ejemplar 428288-1 |
Disponible
Préstamo en línea
|
সংগ্রহ:
Libros electrónicos en línea
|
টীকা:
Consultar en línea
|