Austin protocol compiler, the
Auteur :
Mc / McGuire, Tommy M.
Éditeur :
McGuire, Tommy M.Gouda, Mohamed G.,
ISBN :
9781441935885
Date de publication :
12 févr. 2010
Dimensions :
23,4 x 15,6 x 0,8 cm
Poids :
248 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA
'The Austin Protocol Compiler' illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the abstract semantics of TAP, is maintained when this specification is implemented based on concrete semantics of TAP.