Treffer: Constructing Correct Software

Titel:

Constructing Correct Software / by D. John Cooke

Beteiligt:

Ausgabe:

2nd ed. 2005

Veröffentlicht:

London : Springer London, 2005

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XXI, 509 Seiten) : 100 illus.

Format:

E-Book

Sprache:

Englisch

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Cooke, D. John. Constructing Correct Software. - London : Springer London, 2005. - ISBN 9781852338206

RVK-Notation:

Schlagworte:

ISBN:

9781846280795 ; 1846280796 ; 1852338202 ; 184800768X ; 9781852338206 (Sekundärausgabe) ; 9781848007680 (Sekundärausgabe)

DOI:

10.1007/b138515

Zusatz-Informationen