protocols . invariants . cambridge . international . series . parallel . computation . asynchronous . architecture . vlsi . programming . berkel . kees . van . hilbers . peter . schoone . anneke . skillicorn .
Format
Author
Status
List Price