This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.
€57.10
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● ISBN 9783540445258 ● Éditeur Jonathan P. Bowen & Steve Dunne ● Maison d’édition Springer Berlin Heidelberg ● Publié 2003 ● Téléchargeable 3 fois ● Devise EUR ● ID 6318158 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM
Plus d’ebooks du même auteur(s) / Éditeur
16 453 Ebooks dans cette catégorie
