Titlebook: Electronic Business und New Economy; Den Wandel zu vernet Peter Pagé,Thomas Ehring Book 2001 Springer-Verlag Berlin Heidelberg 2001 Busines

cuticle

WITH

Maosheng Zheng,Haipeng Teng,Jie Yu,Ying Cui,Yi Wang different styles of program verification. The programming language TNP used here is near to actual languages like Occam. It combines CCS/CSP style communicatio978-3-540-50845-8978-3-540-46101-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

moratorium

友好

倒转