Publication

1996 - Addison-Wesley, Harlow, England, England

Language

English

Word Count

82,750 words, Guess

Page Count

331 pages

Physical Format

Paperback

Identifiers

  • ISBN-100201403560
  • ISBN-139780201403565
  • LibraryThing657751
  • Goodreads4348905
  • Library of Congress Control Number97105637
and 3 more

Classifications

  • DDC005.13/3
  • LCCQA76.73.B155 W67 1996

Description

Specifying, designing and implementing software with the B formal method.

Subjects

Topics

software designSoftware engineeringsoftware specificationsoftware implementationB (Computer program language)

Series Statement

  • International computer science series

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!