Brinksma, Ed. - ECU Libraries Catalog

Start Over

You searched for: author Brinksma, Ed.

Showing 1 - 9 of 9 results

Search Results

Tools and algorithms for the construction and analysis of systems

1995
Format: Book

Joyner Library - General Stacks

Call Number: QA76.9.S88 T66 1995

Tools and algorithms for the construction and analysis of systems

by TACAS (Conference)
1997
Format: Book

Joyner Library - General Stacks

Call Number: QA76.9.S88 T33 1997

Tools and algorithms for the construction and analysis of systems

by TACAS '97
1997
Format: Electronic

Location
Access Content Online

Tools and algorithms for the construction and analysis of systems

by TACAS '95
1995
Format: Electronic

Location
Access Content Online

Computer Aided Verification

2002
Format: Electronic

Location
Access Content Online

Computer aided verification

by CAV (Conference)
2002
Format: Book

Joyner Library - General Stacks

Call Number: QA76.76.V47 C38 2002

Lectures on formal methods and performance analysis

by EEF/Euro Summer School on Trends in Computer Science
2001
Format: Electronic

Location
Access Content Online

Lectures on formal methods and performance analysis

by EEF/Euro Summer School on Trends in Computer Science
2001
Format: Electronic

Location
Access Content Online

CONCUR '97

by International Conference on Concurrency Theory
1997
Format: Book

Location
Access Content Online

Format

Library Location

Publication Date

Call Number

Collection

Language

Genre

Era

Region

Search Results

Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

Computer Aided Verification

Computer aided verification

Lectures on formal methods and performance analysis

Lectures on formal methods and performance analysis

CONCUR '97