Amazon cover image
Image from Amazon.com

Formal specification : techniques and applications / Nimal Nissanke.

By: Material type: TextTextPublisher: London : Springer, 1999Description: xvii, 295 pages : illustrations ; 24 cmContent type:
  • text
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 9781852330026 pbk
Subject(s): Summary: Formal Specification is an ideal teaching text for both undergraduate and postgraduate courses in formal methods. No prior knowledge of formal specification is needed as the text is written to be accessible to a wide audience
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
General General ATU Dublin Road General Shelves Sourced from AMM 005.12 NIS (Browse shelf(Opens below)) Available J152472

Includes bibliographical references and index.

Formal Specification is an ideal teaching text for both undergraduate and postgraduate courses in formal methods. No prior knowledge of formal specification is needed as the text is written to be accessible to a wide audience

There are no comments on this title.

to post a comment.
Share