What has the author Jean-Raymond Abrial written?

Anonymous

∙ 11y ago

Updated: 8/21/2019

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)

Wiki User

∙ 11y ago

What else can I help you with?

When did Georges Abrial die?

Georges Abrial died in 1970.

When was Georges Abrial born?

Georges Abrial was born in 1898.

When was Patrick Abrial born?

Patrick Abrial was born in 1947, in Paris, France.

When did André Joseph Abrial die?

André Joseph Abrial died in 1828.

When was André Joseph Abrial born?

André Joseph Abrial was born in 1750.

When was Jean-Raymond Abrial born?

Jean-Raymond Abrial was born in 1938.

When was Jean-Marie Charles Abrial born?

Jean-Marie Charles Abrial was born in 1879.

When did Jean-Marie Charles Abrial die?

Jean-Marie Charles Abrial died in 1962.

What has the author Forename Author Surname written?

Forename Author Surname has written: 'Title'

What has the author Author of Anthony Ker written?

Author of Anthony Ker. has written: 'Not worth his salt'

What has the author Author of Anthony Leger written?

Author of Anthony Leger. has written: 'Gabrielle de Vergy'

What has the author Donald Parson written?

Donald Parson has written: 'Surely the author'