ZB 2000 : formal specification and development in Z and B : first International Conference of B and - detaljert visning

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29- September 2, 2000 : proceedings


Utgitt	Berlin : Springer , c2000
Omfang	XIV, 510 s. : fig.
Emner	B (Computer program language) Z (Computer program language) Formell spesifikasjon (Programutvikling) Formelle språk Vis mer... Maskinspesifikasjon Programspesifikasjon
ISBN	3540679448