VLISP a Verified Implementation of Scheme

Ești offline
VLISP a Verified Implementation of Scheme

VLISP a Verified Implementation of Scheme

Joshua D. Guttman, Mitchell Wand

184

Pagini

2012

An

Paperback

Copertă

Adaugă în bibliotecă
Editura Springer-Verlag New York Inc.
Copertă Paperback
Pagini 184
An publicare 2012
ISBN 9781461359913

Conectează-te pentru a lăsa o recenzie
🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Mai multe de Joshua D. Guttman

Vezi toate
Principles of Security and Trust

Principles of Security and Trust

 Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

 Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Cel mai bun preț

917.67 Lei

Cumpără
Literaz

Literaz e mai bun în aplicație

Scanează cărți cu camera, compară prețuri
și organizează-ți raftul digital.

Deschide în aplicație