語系
Sannella, Donald.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Foundations of algebraic specification and formal software development
by:
Tarlecki, Andrzej.; Sannella, Donald.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Introduction to Computation = Haskell, Logic and Automata /
by:
Wadler, Philip.; Sannella, Donald.; Fourman, Michael.; SpringerLink (Online service); Peng, Haoran.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Formal methods (Computer science)
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Design and Analysis of Algorithms.
Software engineering.
Computer science.
Theory of Computation.
Category Theory, Homological Algebra.
Mathematics of Computing.
Computer Science.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Algorithms.
Computer software
Computer Science Logic and Foundations of Programming.