| Type |  Book |
| ชื่อเรื่อง | ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings / Didier Bert ... [et al.] (eds.) |
| ผู้แต่ง | International Conference of B and Z Users (3rd : 2003 : Turku, Finland) |
| ISBN | 3540402535 (pbk.) |
| | 9783540402534 |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2003 |
| รูปเล่ม | xiii, 545 p. : ill. ; 23 cm |
| หัวเรื่อง | B (Computer program language) --Congresses [] |
| | Z (Computer program language) --Congresses [] |