Specification in B an introduction using the B toolkit /
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitione...
| Основен автор: | Lano, K. |
|---|---|
| Други автори: | Haughton, H. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
London : Singapore ; River Edge, NJ :
Imperial College Press ; Distributed by World Scientific Pub.,
℗♭1996.
|
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=491518 |
| Подобни документи: |
Print version::
Specification in B. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=491518 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76.73.B155 L364 1996eb |
|---|