Algebraic Semantics of Imperative Programs
Год выпуска: 1996
Автор: Joseph A Goguen
Издательство:
Страниц: 240
ISBN: 9780262071727
Описание Algebraic Semantics of Imperative Programs |
Похожие книги - Instructional Technologies: : Cognitive Aspects of Online Programs. – М.: , 2004. – 0 с.
- Paul Sanghera. Fundamentals of Effective Program Management: A Process Approach Based on the Global Standard. – М.: , 2008. – 344 с.
- United States Government Accountability Office. MEDIA PROGRAMMING: Factors Influencing the Availability of Independent Programming in Television and Radio. – М.: , 2010. – 54 с.
- Francesca Rossi. Handbook of Constraint Programming. – М.: , 2010. – 978 с.
- Maurice Herlihy. The Art of Multiprocessor Programming. – М.: , 2010. – 528 с.
- Peter Van Van Roy. Concepts, Techniques and Models of Computer Programming (OIP). – М.: , 2004. – 904 с.
- Harold Thimbleby. Press On – Principles of Interaction Programming. – М.: , 2010. – 528 с.
- P Deransart. A Grammatical View of Logic Programming. – М.: , 2010. – 490 с.
- Glynn Winskel. The Formal Semantics of Programming Languages – An Introduction. – М.: , 1993. – 384 с.
- Choksi. The Planning of Investment Programs in the Fertili zer Industry. – М.: , 1980. – 0 с.
- Reinhardt Koselleck. Futures Past – On the Semantics of Historical Time. – М.: , 2004. – 336 с.
- Choksi. The Planning of Investment Programs in the Fertili zer Industry. – М.: , 1980. – 0 с.
- David A Schmidt. The Structure of Typed Programming Languages (Paper) (ISE). – М.: , 1994. – 384 с.
- Carl A Gunter. Semantics of Programming Languages – Structures & Techniques (Paper) (ISE). – М.: , 1992. – 442 с.
- Joseph A Goguen. Algebraic Semantics of Imperative Programs. – М.: , 1996. – 240 с.
- Carl A Gunter. Semantics of Programming Languages – Structures & Techniques. – М.: , 1992. – 442 с.
- Glynn Winskel. The Formal Semantics of Programming Languages – An Introduction (Paper) (ISE). – М.: , 1993. – 384 с.
Образцы работ
Задайте свой вопрос по вашей теме
|
|
|
