Jonathan P. Bowen,
Steve Dunne,
Andy Galloway,
Steve King
e.a.
ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Paperback Engels 2000 2000e druk 9783540679448Levertijd ± 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783540679448
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:510
Uitgever:Springer Berlin Heidelberg
Druk:2000
Hoofdrubriek:Programmeren, Computer en informatica
Thema:
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan