skip to main content
Lingue:

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

International conference of B Users <7. 2007; Besançon>. ; JULLIAND, Jacques ; KOUCHNARENKO, Olga

Berlin etc. : Springer, copyr. 2006

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2156084500003316()

Ricerca in corso nelle risorse remote ...