Specification and development of interactive systems : focus on streams, interfaces, and refinement /
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
New York :
Springer,
[2001], ©2001
New York : c2001 |
Series: | Monographs in computer science
Monographs in computer science |
Subjects: |
Internet
Stanford University
Call Number: |
QA76.758 .B783 2001 |
---|
Massachusetts Institute of Technology
Call Number: |
QA76.758.B783 2001 |
---|
Johns Hopkins University
Call Number: |
QA76.758.B783 2001 |
---|
Duke University
Call Number: |
QA76.758 .B783 2001 |
---|
Columbia University
Call Number: |
QA76.758 .B783 2001 |
---|
Brown University
Call Number: |
QA76.758 .B783 2001 |
---|