Location & Availability for: Concise guide to formal methods : theory

 Staff view

You must be logged in to Tag Records

Concise guide to formal methods : theory, fundamentals and industry applications /

Gerard O'Regan.

Book Cover
Author: O'Regan, Gerard
Published: Cham, Switzerland : Springer, 2017.
Series: Undergraduate topics in computer science,
Topics: Formal methods (Computer science)
Genres: Electronic books.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Concise guide to formal methods : theory