Department of Computer Science
The George Washington University
801 22nd Street NW, Suite 704
Washington DC 20052
Voice: (202) 994-7181
Fax: (202) 994-4875
E-mail: cs@gwu.edu

CSci 234 - Design of Internet Protocols

Meltzer and Staff

Credits: 3

Protocol specifications and formal description methods. Finite-state descriptions of Internet protocols. Specification and Description language. Implementation of protocol specifications. Prerequisite: CSCI 212, CSCI 233. (Spring)