ZB 2005 [electronic resource] : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / Helen Treharne ... [et al.] (eds.).
Sábháilte in:
| Foilsithe / Cruthaithe: |
Berlin :
Springer,
c2005.
|
|---|---|
| Rochtain ar líne: | |
| Údair chorparáideacha: | |
| Rannpháirtithe: | |
| Sraith: | Lecture notes in computer science ;
3455 |
| Ábhair: | |
| Formáid: | Leictreonach Imeacht comhdhála Ríomhleabhar |
