B'98: Recent Advances in the Development and Use of the B Method
Subtitle: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 22, 1998
Language: eng
Format: Paperback
Number of pages: 313
ISBN-13: 9783540644057
Subjects: Software engineering; Debugging in computer science; Computer Programs Debugging; Software Development; Computers; Computers - Languages / Programming; Computer Books: General; Programming - Systems Analysis & Design; Logic Design; Programming - Software Development; Computers / Programming / Software Development; Formal Methods; Software Construction; Software Design; Software Specification; The B Method; B method (Computer science); Congresses