Location & Availability for: Rigorous software development : an intro

 Staff view

You must be logged in to Tag Records

Rigorous software development [electronic resource] : an introduction to program verification /

José Bacelar Almeida ... [et al.].

Book Cover
Names: Almeida, José Bacelar.
Published: London ; Springer, c2011.
Series: Undergraduate topics in computer science.
Topics: Computer software - Verification. | Computer software - Development.
Genres: Electronic books.
Online Access: SpringerLink Link to Rigorous software development (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: Rigorous software development : an intro