Program development by refinement : case studies using the B method / E. Sekerinski and K. Sere (eds)

Saved in:

Bibliographic Details
Other Authors:	Sekerinski, E. (Emil), 1963-, Sere, K. (Kaisa), 1954-
Format:	Book
Language:	English
Published:	London : New York : Springer-Verlag, ©1999.
Series:	Formal approaches to computing and information technology.
Subjects:	B (Computer program language)

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.73.B155 P76 1999
QA76.73.B155 P76 1999	Available Place a Hold