Jean-Raymond Abrial has written:
'The B-book' -- subject(s): B method (Computer science)
'Rigorous methods for software construction and analysis' -- subject(s): Formal methods (Computer science)
Georges Abrial died in 1970.
Georges Abrial was born in 1898.
Patrick Abrial was born in 1947, in Paris, France.
André Joseph Abrial died in 1828.
André Joseph Abrial was born in 1750.
Jean-Raymond Abrial was born in 1938.
Jean-Marie Charles Abrial was born in 1879.
Jean-Marie Charles Abrial died in 1962.
Forename Author Surname has written: 'Title'
Author of Anthony Ker. has written: 'Not worth his salt'
Author of Anthony Leger. has written: 'Gabrielle de Vergy'
Donald Parson has written: 'Surely the author'