grumberg - ECU Libraries Catalog

Start Over

You searched for: Keywords grumberg

Showing 1 - 10 of 16 results

Search Results

Cover image for Place and ideology in contemporary Hebrew literature

Place and ideology in contemporary Hebrew literature

by Grumberg, Karen
2011
1st ed.
Format: Electronic

Location
Access Content Online

Cover image for Dreyfus in rehearsal

Dreyfus in rehearsal

by Grumberg, Jean-Claude, 1939-
1983
Format: Book

Location	Call #	Status
Joyner - General Stacks	PQ2667.R73 D713 1983	✔ Available

Cover image for Model checking

Model checking

by Clarke, Edmund M.
1999
Format: Electronic

Location
Access Content Online

Cover image for Model checking

Model checking

by Clarke, Edmund M.
1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C553 1999	✔ Available

Cover image for 25 years of model checking

25 years of model checking

2008
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C38 1997	✔ Available

Cover image for Formal logical methods for system security and correctness

Formal logical methods for system security and correctness

by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness
2008
Format: Electronic

Location
Access Content Online

Cover image for Software safety and security

Software safety and security

by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
2012
Format: Electronic

Location
Access Content Online

Cover image for The free zone

The free zone

by Grumberg, Jean-Claude, 1939-
1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	PQ2667.R73 A6 1993	✔ Available

Cover image for Software systems safety

Software systems safety

by NATO Advanced Study Institute on Software Systems Safety
2014
Format: Electronic

Location
Access Content Online