B-Method

    By

    This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness. * Suitable for undergraduate and postgraduate courses on formal methods and software development * Written in a clear tutorial style of explanation * Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout * Relevant to users of any B-Method CASE tool * Teaching materials available online The B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.

    View more

    Number of Pages: 384
    Format(s): Paperback - ISBN: 9780333792841
    Publication Date:
    Listed in: Software Engineering
    Publisher: Palgrave Macmillan

    Books by Steve Schneider

    Paperback

    RRP: £59.99

    Sale Price: £54.65

    Save: £5.34 per copy!

    Currently out of stock

    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 - 2 years ago

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

      @TheGBBookshop - 2 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 - 2 years ago

      @thebookseller @MartinaCole @Jeffrey_Archer @Foyles

      @TheGBBookshop - 2 years ago

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

    • @TheGBBookshop - 2 years ago

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

      @TheGBBookshop - 2 years ago

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