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

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Formal approaches to computing and information technology - FACITPublisher: London ; Berlin ; Heidelberg [u.a.] : Springer, 1999Description: XXIV, 334 S. : graph. DarstISBN:

Subject(s):

DDC classification:

MSC: MSC: *68Q60 | 68N99 | 68-06 | 00B15RVK: RVK: ST 230 | ST 140LOC classification:

Contents:

Literaturverz. S. [323] - 326

PPN: PPN: 293158371

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	E.Pro	Bibliothek / frei aufgestellt	E.Pro(30991)	Available	000353766090

Total holds: 0