B 2007 : formal specification and development in B : 7th International Conference of B Users, BesanÃ - detaljert visning

B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings


Utgitt	Berlin : Springer , c2006
Omfang	XIII, 292 s. : ill.
Emner	Debugging (Databehandling) Formell spesifikasjon (Programutvikling) Formelle språk
ISBN	3540687602. - 9783540687603