Media type: Book Title: Adapting proofs-as-programs : the Curry-Howard protocol Contributor: Poernomo, Iman Hafiz [Author]; Crossley, John N. [Author]; Wirsing, Martin [Author]; Crossley, John Newsome [Other] imprint: New York, NY; [Heidelberg]: Springer, 2005 Published in: Monographs in computer science Extent: XI, 420 S.; graph. Darst Language: English ISBN: 0387237593; 9780387237596 RVK notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Softwareentwicklung > Funktionale Programmierung > Algebraische Methode Origination: Footnote: Includes bibliographical references and index
Departmental Library DrePunct – stack Shelf-mark: 2005 8 025073 Item ID: 31004316 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order