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.
€58.19
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● ISBN 9783540445258 ● Editor Jonathan P. Bowen & Steve Dunne ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2003 ● Downloadbare 3 keer ● Valuta EUR ● ID 6318158 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer
Meer e-boeken van dezelfde auteur (s) / Editor
16.826 E-boeken in deze categorie
