Abstract software specifications : 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings / ed. by D. Bjørner

Winter School on Abstract Software Specifications ; (Copenhagen) : 1979.01.22-02.02

Englisch

Berlin [u.a.] : Springer, 1980

Online-Ressource (XI, 566 S.)

Literaturangaben

Druckausg.: Abstract software specifications. - Berlin [u.a.] : Springer, 1980. - 565 S

978-3-540-38136-5

Weitere Ausgaben: 3-540-10007-5 (Druckausgabe), 0-387-10007-5 (Druckausgabe), 978-3-540-10007-2 (Druckausgabe)

DOI: 10.1007/3-540-10007-5

*Computer science ; Software engineering ; Computer programming -- Congresses

*Computer Science ; Software Engineering

Klassifikation der Library of Congress: QA76.6

Dewey Dezimal-Klassifikation: 001.64/2;

 

Online-Ausg.

Berlin [u.a.] : Springer, 2006

Berlin [u.a.] : Springer

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.