ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005.
The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
سب زمرہ:
سال:
2005
اشاعت:
1
ناشر کتب:
Springer-Verlag Berlin Heidelberg
زبان:
english
صفحات:
496
ISBN 10:
3540255591
ISBN 13:
9783540255598
سیریز:
Lecture Notes in Computer Science 3455 : Programming and Software Engineering
فائل:
PDF, 6.90 MB
IPFS:
,
english, 2005
کاپی رائٹ ہولڈر کی شکایت کی وجہ سے یہ کتاب ڈاؤن لوڈ کے لیے دستیاب نہیں ہے۔
Beware of he who would deny you access to information, for in his heart he dreams himself your master
فائل کنورٹر
مزید تلاش کے نتائج
دیگر فوائد 
اہم جملے
متعلقہ بک لسٹیں
