Program construction : international summer school / F. L. Bauer, E. W. Dijkstra, S. L. Gerhart,... [et al.] ; edited by F. L. Bauer and M. Broy

Date : 20

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-3-540-35312-6

Informatique

Programmation (informatique)

Classification Dewey : 004

Classification Dewey : 001.642

Bauer, Friedrich Ludwig (1924-2015) (Directeur de publication / publishing director)

Broy, Manfred (1949-....) (Directeur de publication / publishing director)

Dijkstra, Edsger Wybe (1930-2002) (Auteur / author)

Gerhart, Susan L. (1950?-....) (Auteur / author)

Gries, David (1939-....) (Auteur / author)

Griffiths, Michael (1940-2022 ; chercheur en informatique) (Auteur / author)

Guttag, John V. (1949-....) (Auteur / author)

Horning, James J. (1942-2013) (Auteur / author)

Owicki, Susan S. (19..-....)Owicki, Susan Speer (Auteur / author)

Pair, Claude (1934-.... ; auteur en mathématiques et informatique) (Auteur / author)

Partsch, Helmut A. (1950-....) (Auteur / author)

Pepper, Peter (19..-....) (Auteur / author)

Wirsing, Martin (1948-....) (Auteur / author)

Wössner, Hans (1941-....) (Auteur / author)

Organisation du traité de l'Atlantique nord. Division des affaires scientifiques (Organisateur de réunion / organizer of meeting)

Collection : Lecture notes in computer science [Ressource électronique] / Berlin : Springer , [200.]-

Relation : Program construction : international summer school / F. L. Bauer, E. W. Dijkstra, S. L. Gerhart ... [et al.] ; edited by F. L. Bauer and M. Broy / Berlin : Springer-Verlag

Accès en ligne / online access

Accès en ligne / online access