Formal Specification using Z

    By

    Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.

    View more

    Number of Pages: 176
    Format(s): Paperback - ISBN: 9780333763278
    Publication Date:
    Listed in: Applied mathematics, Operating systems, Programming & scripting languages: general
    Publisher: Red Globe Press

    Books by David Lightfoot

    Paperback

    RRP: £38.99

    Sale Price: £25.85

    Save: £13.14 per copy!

    Side-Banner-Right-188px-fd.jpg
    Books TV & Movies

    You might also like...

    Latest from the blog

    Fantastic new recipe book from Sabrina Ghayour 'Sirocco'

    Sabrina Ghayour's long awaited second recipe book Sirocco is out this month and is a great follow up to Persianna. Read article

    Ten Great Bedtime Reads from The Great British Bookshop and Aspace

    We have teamed up with Aspace (www.aspace.co.uk) who create beautiful room for Children to bring you 10 great bedtime reads for your little ones. Read article

    Latest from Twitter

    • @TheGBBookshop - 3 years ago

      Lottery funding for dementia reading project £2m pledged for Reading Agency scheme to pair readers with dementia sufferers

      @TheGBBookshop - 3 years ago

      Harry Potter and the Cursed Child has held on to the number one spot for a sixth week #HarryPotter #CursedChild @littlebrown @pottermore

    • @TheGBBookshop - 3 years ago

      @thebookseller @MartinaCole @Jeffrey_Archer @Foyles

      @TheGBBookshop - 3 years ago

      Frith wins inaugural Klaus Flugge Prize for illustration t.co/U9P08h4XMG

    • @TheGBBookshop - 3 years ago

      RT @Gue_de_Bost: #Dordogneholidaycottage available Sept tweet to book for more info

      @TheGBBookshop - 3 years ago

      The editor is just back from france @HomeAwayUK! t.co/IWutTER1x7