Treffer: Program development by refinement

Titel:

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

Verantwortlich:

Veröffentlicht:

London [u.a.] : Springer, 1999

Umfang:

XXIV, 334 S.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Formal approaches to computing and information technology

RVK-Notation:

Schlagworte:

ISBN:

1852330538

Zusatz-Informationen