Start Over
You searched for: subject SPIN (Computer file)

Search Results

Cover image for Model checking software

Model checking software

Joyner Library - General Stacks
Call Number: QA76.76.V47 I58 2001
Cover image for Model checking software

Model checking software

Joyner Library - General Stacks
Call Number: QA76.76.V47 58 2002
Cover image for Principles of the Spin model checker

Principles of the Spin model checker

Joyner Library - General Stacks
Call Number: QA76.76.V47 B46 2008
Cover image for SPIN model checking and software verification

SPIN model checking and software verification

Joyner Library - General Stacks
Call Number: QA76.76.V47 I58 2000
Cover image for Model checking software

Model checking software

Joyner Library - General Stacks
Call Number: QA76.76.V47 I58 2005
Cover image for Model checking software

Model checking software

Joyner Library - General Stacks
Call Number: QA76.76.V47 I58 2006
Cover image for Theoretical and practical aspects of SPIN model checking

Theoretical and practical aspects of SPIN model checking

Joyner Library - General Stacks
Call Number: QA76.76.V47 S68 1999
Cover image for Model checking software

Model checking software

Joyner Library - General Stacks
Call Number: QA76.76.V47 I58 2003
Cover image for The SPIN verification system

The SPIN verification system

Joyner Library - General Stacks
Call Number: QA76.76.V4 W677 1996
Cover image for Model checking software

Model checking software

Location
Access Content Online