Catalog

Record Details

Catalog Search


Using Event-B for Critical Device Software Systems Cover Image E-book E-book

Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh.

Singh, Neeraj Kumar. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781447152606
  • Physical Description: XVIII, 326 p. 45 illus. online resource.
  • Publisher: London : Springer London : 2013.

Search for related items by subject

Subject: Computer science.
Medical records > Data processing.
Software engineering.
Computer simulation.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Health Informatics.
Simulation and Modeling.
Programming Techniques.

Electronic resources

Texto completo


Additional Resources