> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: A few comments on a correctness proof of a program for the "McCarthy Airline" reservation system Beteiligte: Barth, Wolfgang [Verfasser:in]; Loeckx, Jacques [Verfasser:in] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013 Erschienen in: Bericht ; 1976,1 Umfang: Online-Ressource Sprache: Englisch Identifikator: Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang