The B language and method : a guide to practical formal development /

Lano, K.,

The B language and method : a guide to practical formal development / K. Lano. - 1 online resource (239 pages) : illustrations. - Formal approaches to computing and information technology . - Formal approaches to computing and information technology. .

Includes bibliographical references and index.

9781447114949 (e-book)


B (Computer program language)
Computer software--Development.


Electronic books.

QA76.73.B155 / L36 1996

005.1/2/015113