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
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● ISBN 9783540445258 ● Editör Jonathan P. Bowen & Steve Dunne ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2003 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 6318158 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir
Aynı yazardan daha fazla e-kitap / Editör
16.453 Bu kategorideki e-kitaplar
