The little prover / Daniel P. Friedman, Carl Eastlund ; Drawings by Duane Bibby ; Foreword by Strother Moore, afterword by Matthias Felleisen
The little prover / Daniel P. Friedman, Carl Eastlund ; Drawings by Duane Bibby ; Foreword by Strother Moore, afterword by Matthias Felleisen
Autor
Friedman, Daniel P.
Ostali autori
Nakladnik
Cambridge, Mass.; London, England : The MIT Press, 2015
Materijalni opis
xiii, 229 str. ; 23 cm
Napomena
Bibliografija: str. 217-218.
 
Kazalo.
Klasifikacijska oznaka
68-01 Instructional exposition (textbooks, tutorial papers, etc.)
 
68N01 General
 
03B70 Logic in computer science [See also 68-XX]
Jezik
engleski
Standardni broj
ISBN 978-0-262-52795-8
Građa
Knjigaknjiga
Djelomični sadržaj online

FRIEDMAN, Daniel P.

[little prover. The]

The little prover / Daniel P. Friedman, Carl Eastlund ; Drawings by Duane Bibby ; Foreword by Strother Moore, afterword by Matthias Felleisen. - Cambridge, Mass.; London, England : The MIT Press, 2015. - xiii, 229 str. ; 23 cm
Bibliografija: str. 217-218. - Kazalo.
ISBN 978-0-262-52795-8


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.