語系
Poernomo, Iman Hafiz.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Component-based software engineering = 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
Poernomo, Iman Hafiz.; Lewis, Grace A.; Congress on Progress and Controversies in Oncological Urology (2000:); Hofmeister, Christine.; SpringerLink (Online service)
(書目-電子資源)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
SpringerLink (Online service); Crossley, John Newsome.; Wirsing, Martin.; Poernomo, Iman Hafiz.
(書目-電子資源)
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Functional programming (Computer science)
Curry-Howard isomorphism.
Logic, Symbolic and mathematical.
Abstract data types (Computer science)
Lambda calculus.
Proof theory.
Logic Design.
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Component software
Performance and Reliability.