Transitions and trees an introduction to structural operational semantics

Detaylı Bibliyografya
Yazar:	Huttel, Hans
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Cambridge, New York Cambridge University Press 2010.
Konular:	Programming languages (Electronic computers) > Semantics.
Online Erişim:	Table of contents only