It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 2, 2008 | History
Edit

Jean-Raymond Abrial

We need a photo of Jean-Raymond Abrial

4 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Modeling in event-b: system and software engineering

    First published in 2006 — 6 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Rigorous methods for software construction and analysis: essays dedicated to Egon Börger on the occasion of his 60th birthday

    First published in 2009 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)

    First published in 1996 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The B-book: assigning programs to meanings

    First published in 1996 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Jean-Raymond Abrial

Subjects

Computer science, B method (Computer science), Formal methods (Computer science), System design, Algorithms, Automatic control, B (Computer program language), Computer programming, Computer software, Computer software, development, Computer systems, Data processing, Electronic data processing, Information theory, Mathematical models, Steam-boilers, Verification

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL413223A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 2, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import