Location & Availability for: Using Event-B for critical device softwa

 Staff view

You must be logged in to Tag Records

Using Event-B for critical device software systems [electronic resource] /

Neeraj Kumar Singh.

Book Cover
Main Author: Singh, Neeraj Kumar.
Published: London ; Springer, c2013.
Topics: Formal methods (Computer science) | Computer software - Development. | COMPUTERS / Computer Literacy | COMPUTERS / Computer Science | COMPUTERS / Data Processing | COMPUTERS / Hardware / General | COMPUTERS / Information Technology | COMPUTERS / Machine Theory | COMPUTERS / Reference
Genres: Electronic books.
Online Access: SpringerLink Link to Using Event-B for critical device software systems (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Using Event-B for critical device softwa