Picture of 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 ... / Programming and Software Engineering)

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 ... / Programming and Software Engineering)

Springer

January 2008

Paperback, 508 pages

ISBN: 3540255591

Business Analyst Training IIBA endorsed
On-Site and On-Line Training Courses for Business Analysts

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.

 

Buy from Amazon
Share

Free Business Analyst Skills Test for CBAP

Business Analysis for Information Technology deals

Picture of ASUS K50IJ–XA1 15.6–Inch Versatile Entertainment Laptop (Black)

"ASUS K50IJ–XA1 15.6–Inch Versatile Entertainment Laptop (Black)

Picture of USB 6 LED PC Webcam Camera plus + Night Vision MSN, ICQ, AIM, Skype, Net Meeting and compatible with Win 98 / 2000 / NT / Me / XP / Vista

"USB 6 LED PC Webcam Camera plus + Night Vision MSN, ICQ, AIM, Skype, Net Meeting and compatible with Win 98 / 2000 / NT / Me / XP / Vista

Picture of HTC Droid Eris for Verizon Wireless (Black) CDMA Smartphone Android

"HTC Droid Eris for Verizon Wireless (Black) CDMA Smartphone Android

Picture of Bugatti Leather Ring Binder Portfolio

"Bugatti Leather Ring Binder Portfolio

Picture of Board Dudes 11 x 14–Inch Metalix Magnetic Dry Erase Board, Colors May Vary (45000UA–4)

Board Dudes 11 x 14–Inch Metalix Magnetic Dry Erase Board, Colors May Vary (45000UA–4)

Picture of Conference Table, 360"x54"x29–1/2", Sierra Cherry (TIFCMT30CRY) Category: Office Side Meeting Room Tables

"Conference Table, 360"x54"x29–1/2", Sierra Cherry (TIFCMT30CRY) Category: Office Side Meeting Room Tables

Picture of California Office Supply– 100 12x15.5 WHITE POLY MAILERS ENVELOPES BAGS 12 x 15.5

"California Office Supply– 100 12x15.5 WHITE POLY MAILERS ENVELOPES BAGS 12 x 15.5

Picture of 3M Post–it 25 x 30.5 Inch Self–Stick Easel Pad, 30 White Sheets, 4 Pads (559)

"3M Post–it 25 x 30.5 Inch Self–Stick Easel Pad, 30 White Sheets, 4 Pads (559)

 

 

Share

Business Analysis for Information Technology products

Picture of Hammermill Laser Print Copy/Laser Paper, 98 Brightness, 24lb, Letter Size (8.5 x 11), White, 500 Sheets (10460–4)

Hammermill Laser Print Copy/Laser Paper, 98 Brightness, 24lb, Letter Size (8.5 x 11), White, 500 Sheets (10460–4)

Picture of Safco Products Company Products – Stack Chair, 21–3/8"x17–7/8"x30–1/4", Burgundy – Sold as 1 CT – Use Contour Stack Chairs in meeting rooms, breakrooms, cafeterias, offices or anywhere extra seating is re

"Safco Products Company Products – Stack Chair, 21–3/8"x17–7/8"x30–1/4", Burgundy – Sold as 1 CT – Use Contour Stack Chairs in meeting rooms, breakrooms, cafeterias, offices or anywhere extra seating is re

Picture of Ampad 24–028 Evidence Flip Chart Pads, 27 x34, 50 Plain Sheets/Pad, 2 Pads/ct

"Ampad 24–028 Evidence Flip Chart Pads, 27 x34, 50 Plain Sheets/Pad, 2 Pads/ct

Picture of Samsung BX2231 21.5–Inch Widescreen LED–Backlit LCD Monitor (Black)

"Samsung BX2231 21.5–Inch Widescreen LED–Backlit LCD Monitor (Black)

Picture of Toshiba NB505–N508BL 10.1–Inch Netbook (Blue)

"Toshiba NB505–N508BL 10.1–Inch Netbook (Blue)

Picture of Motorola H720 Bluetooth Headset [Motorola Retail Packaging]

"Motorola H720 Bluetooth Headset [Motorola Retail Packaging]

Picture of South Shore Furniture City Life Collection Office Desk, Pure Black

"South Shore Furniture City Life Collection Office Desk, Pure Black

Picture of Xerox Business 4200 Paper, 92 bright, 20 lb., Bond 8.5 Inch x 14 Inch (3R2051)

"Xerox Business 4200 Paper, 92 bright, 20 lb., Bond 8.5 Inch x 14 Inch (3R2051)

Picture of Communication Skills: Greatest Hits

Communication Skills: Greatest Hits

Picture of Kensington 33374 Wireless Presenter with Laser Pointer

"Kensington 33374 Wireless Presenter with Laser Pointer