| Type |  Book |
| ชื่อเรื่อง | Formal techniques for distributed systems [electronic resource] : joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010, Proceedings / edited by John Hatcliff, Elena Zucca |
| ผู้แต่ง | International conference on formal methods for open object-based distributed systems (12th : 2010 : Amsterdam, Netherlands) |
| ISBN | 9783642134630 |
| | 9783642134647 |
| พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg, c2010 |
| รูปเล่ม | 1 online resource (231 p.) |
| หัวเรื่อง | Congresses and conventions |
| | Electronic books |
| | Formal methods (Computer science) |