Filters
Advanced Search Browse by Genre

Found 5 results for "Olga Kouchnarenko"

B 2007 : Formal Specification and Development in B
B 2007 : Formal Specification and Development in B

by Jacques Julliand, Olga Kouchnarenko

2006 1 ed.
Formal Aspects of Component Software
Formal Aspects of Component Software

by Olga Kouchnarenko, Ramtin Khosravi

2017 1 ed.
Computer science Computer networks Software engineering
B 2007
B 2007

by Jacques Julliand,Olga Kouchnarenko

2008 1 ed.
B 2007
B 2007

by International B Conference (7th 2007 Besanc̀§on, France)

2006 1 ed.
Congresses B method (Computer scienc... Debugging in computer sci...
B 2007
B 2007
2007 1 ed.
B method (Computer scienc... Debugging in computer sci... Congresses