Program Development by Refinement
Subtitle: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT))
Contributors: Emil Sekerinski (Editor); Kaisa Sere (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 25, 1998
Language: eng
Format: Paperback
Number of pages: 364
ISBN-13: 9781852330538
Subjects: Programming languages; Software engineering; Logic; Software Development; Computers; Computers - Languages / Programming; Computer Books: General; Programming - Software Development; Programming Languages - General; Computers / Programming / Software Development; Computers / Programming Languages / General; Computers-Programming - Software Development; Mathematics-Logic; Computer Bks - Languages / Programming; B (Computer program language)