Search Results - Zave, Pamela 1948-

Pamela Zave

Pamela Zave (born 1948) is an American computer scientist now working at Princeton University. She is known for her work on requirements engineering, telecommunication services, and protocol modeling and verification and is now working on network architecture. She was named a Fellow of the Association for Computing Machinery in 2001 and was the 2017 recipient of the Harlan D. Mills Award from the IEEE Computer Society. Provided by Wikipedia
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    FME 2001 formal methods for increasing software productivity

    FME 2001 formal methods for increasing software productivity

    Published 2001
    Other Authors:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: