Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 330 of 922
Using Event-B for Critical Device Software Systems Cover Image E-book E-book

Using Event-B for Critical Device Software Systems

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

Record details

  • ISBN: 9781447152606
  • Physical Description: electronic
    electronic resource
    access
    remote
    XVIII, 326 p. 45 illus. online resource.
  • Publisher: London : Springer London : Imprint: Springer, 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

Back To Results
Showing Item 330 of 922

Additional Resources