Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Autor
Poernomo, Iman Hafiz
Ostali autori
Nakladnik
New York : Springer, 2005
Materijalni opis
xi, 420 str. : ilustr. ; 25 cm
Napomena
Bibliografija. str.[407]-416 ; Kazalo.
Klasifikacijska oznaka
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
 
68T15 Theorem proving (deduction, resolution, etc.) [See also 03B35]
 
68-02 Research exposition (monographs, survey articles)
Jezik
engleski
Standardni broj
ISBN 0-387-23759-3
 
ISBN 978-0-387-23759-6
Građa
Knjigaknjiga
Djelomični sadržaj online

POERNOMO, Iman Hafiz
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing. - New York : Springer, 2005. - xi, 420 str. : ilustr. ; 25 cm. - (Monographs in computer science)
Bibliografija. str.[407]-416 ; Kazalo.
ISBN 0-387-23759-3. - 978-0-387-23759-6


Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.