A Seat Allocation System

Lightfoot, David

doi:10.1007/978-1-349-12144-1_11

David Lightfoot²

Part of the book series: Macmillan Computer Science Series ((COMPSS))

36 Accesses

Abstract

This example concerns recording the allocation of seats to passengers on an aircraft.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

School of Computing and Mathematical Sciences, Oxford Polytechnic, UK
David Lightfoot

Authors

David Lightfoot
View author publications
You can also search for this author in PubMed Google Scholar

Copyright information

About this chapter

Cite this chapter

Lightfoot, D. (1991). A Seat Allocation System. In: Formal Specification Using Z. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-12144-1_11

Download citation

DOI: https://doi.org/10.1007/978-1-349-12144-1_11
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-54408-2
Online ISBN: 978-1-349-12144-1
eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics