Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Reasoning about program transformations

Titel:

Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard

Beteiligt:

Veröffentlicht:

New York [u.a.] : Springer, 2003

Umfang:

XVIII, 237 S. : graph. Darst. ; 25 cm

Format:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

0387953914

Lokale Klassifikationen:

Zusatz-Informationen