Start Over
You searched for: author Barringer, Howard

Search Results

Cover image for A Survey of verification techniques for parallel programs

A Survey of verification techniques for parallel programs

  • 1985
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.5 .S897 1985
Cover image for Temporal Logic in Specification

Temporal Logic in Specification

Location
Access Content Online
Cover image for Temporal logic in specification

Temporal logic in specification

  • 1989
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.9.S88 T42 1989
Cover image for The public debate over controversial Supreme Court decisions

The public debate over controversial Supreme Court decisions

  • 2006
  • Format: Book
Location
Access Content Online
Cover image for The Code of civil procedure of North Carolina, to special proceedings

The Code of civil procedure of North Carolina, to special proceedings

Joyner Library - NC Rare
Call Number: View Items