ZB 2005: Formal Specification and Development in Z and B

ZB 2005: Formal Specification and Development in Z and B
Author: Helen Treharne
Publisher: Springer Science & Business Media
Total Pages: 507
Release: 2005-04-07
Genre: Computers
ISBN: 3540255591

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.

ZB 2003: Formal Specification and Development in Z and B

ZB 2003: Formal Specification and Development in Z and B
Author: Didier Bert
Publisher: Springer Science & Business Media
Total Pages: 559
Release: 2003-05-20
Genre: Computers
ISBN: 3540402535

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

The Civil War in North Carolina

The Civil War in North Carolina
Author: John G. Barrett
Publisher: UNC Press Books
Total Pages: 500
Release: 2017-11-01
Genre: History
ISBN: 1469639661

Eleven battles and seventy-three skirmishes were fought in North Carolina during the Civil War. Although the number of men involved in many of these engagements was comparatively small, the campaigns and battles themselves were crucial in the grand strategy of the conflict and involved some of the most famous generals of the war. John Barrett presents the complete story of military engagements across the state, including the classical pitched battle of Bentonville, the siege of Fort Fisher, the amphibious campaigns on the coast, and cavalry sweeps such as Stoneman's raid. From and through North Carolina, men and supplies went to Lee's army in Virginia, making the Tar Heel state critical to Lee's ability to remain in the field during the closing months of the war, when the Union had cut off the West and Gulf South. This dependence upon North Carolina led to Stoneman's cavalry raid and Sherman's march through the state in 1865, the latter of which brought the horrors of total war and eventual defeat.