Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Contributors: Helmut Schwichtenberg (Editor); Ralf Steinbrüggen (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 31, 2002
Language: eng
Format: Paperback
Number of pages: 428
ISBN-13: 9781402006081
Subjects: Mathematical logic; Technology; Mathematics; Science/Mathematics; Computer Science; Logic; Computers-Computer Science; Mathematics / Logic; Philosophy-Logic; Quality Control
First sentence: Perhaps the most important and striking fact of domain theory is that important categories of domains are cartesian closed.