The little prover

Bibliographic Details
Main Author: Friedman, Daniel P. (-)
Other Authors: Bibby, Duane, Eastlund, Carl, Moore, J Strother, 1947-, Felleisen, Matthias
Format: Book
Language:Inglés
Published: Cambridge (Massachusetts) [etc.] : MIT cop. 2015.
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001608449703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Physical Description:XIII, 229 p. : il. ; 23 cm
Bibliography:Bibliogr.: p. 217-218. Índice
ISBN:9780262527958