Unifying Theories of Programming
http://dbpedia.org/resource/Unifying_Theories_of_Programming an entity of type: WikicatComputerScienceBooks
Las Teorías Unificadas de Programación (UTP) en ciencias de la computación se ocupan de la semántica de los programas. Muestra cómo la semántica denotacional, la semántica operativa y la semántica algebraica se pueden combinar en un marco unificado para la especificación formal, diseño e implementación de programas y sistemas informáticos . El libro de este título de C.A.R. Hoare y He Jifeng se publicó en la en 1998 y ahora está disponible gratuitamente en la web.
rdf:langString
Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems. The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science in 1998 and is now freely available on the web.
rdf:langString
プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論（公理的意味論の一種）がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。
rdf:langString
rdf:langString
Teorías unificadas de la programación
rdf:langString
プログラミングの統一理論
rdf:langString
Unifying Theories of Programming
xsd:integer
2849397
xsd:integer
1121110448
rdf:langString
Las Teorías Unificadas de Programación (UTP) en ciencias de la computación se ocupan de la semántica de los programas. Muestra cómo la semántica denotacional, la semántica operativa y la semántica algebraica se pueden combinar en un marco unificado para la especificación formal, diseño e implementación de programas y sistemas informáticos . El libro de este título de C.A.R. Hoare y He Jifeng se publicó en la en 1998 y ahora está disponible gratuitamente en la web.
rdf:langString
Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems. The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science in 1998 and is now freely available on the web.
rdf:langString
プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論（公理的意味論の一種）がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。
xsd:nonNegativeInteger
6022