B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings
Jacques Julliand, Olga Kouchnarenko (eds.)
Bok Engelsk 2006 International Conference of B Users
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XIII, 292 s. : ill.
|
| Emner | |
| ISBN | 3540687602. - 9783540687603
|
