Suchfeld einblenden
Person Julliand, Jacques
1 Treffer
Seite < 1 >
B 2007: formal specification and development in B
: proceedings / 7th International Conference of B Users, Besançon, France, January 17 - 19, 2007. Jacques Julliand ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4355)
ISBN 978-3-540-68761-0
Lizenzpflichtig
Quelle: DNB
Seite < 1 >