1995, ISBN: 9780792395669
Editor: Guttman, Joshua D. Editor: Wand, Mitchell, Springer, Hardcover, Auflage: Reprinted from LISP AND SYMBOLIC COMPUTATION, An International Journal 8:1-2, 1995, 184 Seiten, Publiziert… Más…
amazon.com |
1995, ISBN: 9780792395669
Sous la direction de: Guttman, Joshua D. Sous la direction de: Wand, Mitchell, Springer, Relié, Auflage: Reprinted from LISP AND SYMBOLIC COMPUTATION, An International Journal 8:1-2, 1995… Más…
amazon.fr Gastos de envío:Les coûts d'expédition peuvent différer des coûts réels. (EUR 2.99) Details... |
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - encuadernado, tapa blanda
1995, ISBN: 0792395662
[EAN: 9780792395669], New book, [PU: Springer US], COMPUTERS - LANGUAGES PROGRAMMING INTELLIGENCE (AI) & SEMANTICS GENERAL SOFTWARE DEVELOPMENT ENGINEERING ASSEMBLY LANGUAGE COMPILER D SY… Más…
AbeBooks.com |
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - encuadernado, tapa blanda
1995, ISBN: 9780792395669
Hard cover, New., Sewn binding. Cloth over boards. 184 p., New York, NY, [PU: Springer]
alibris.co.uk |
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 - encuadernado, tapa blanda
ISBN: 9780792395669
Springer. Hardcover. New. 10x7x0., Springer, 6
Biblio.co.uk |
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 - encuadernado, tapa blanda
1995, ISBN: 9780792395669
Editor: Guttman, Joshua D. Editor: Wand, Mitchell, Springer, Hardcover, Auflage: Reprinted from LISP AND SYMBOLIC COMPUTATION, An International Journal 8:1-2, 1995, 184 Seiten, Publiziert… Más…
1995, ISBN: 9780792395669
Sous la direction de: Guttman, Joshua D. Sous la direction de: Wand, Mitchell, Springer, Relié, Auflage: Reprinted from LISP AND SYMBOLIC COMPUTATION, An International Journal 8:1-2, 1995… Más…
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - encuadernado, tapa blanda
1995
ISBN: 0792395662
[EAN: 9780792395669], New book, [PU: Springer US], COMPUTERS - LANGUAGES PROGRAMMING INTELLIGENCE (AI) & SEMANTICS GENERAL SOFTWARE DEVELOPMENT ENGINEERING ASSEMBLY LANGUAGE COMPILER D SY… Más…
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - encuadernado, tapa blanda
1995, ISBN: 9780792395669
Hard cover, New., Sewn binding. Cloth over boards. 184 p., New York, NY, [PU: Springer]
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 - encuadernado, tapa blanda
ISBN: 9780792395669
Springer. Hardcover. New. 10x7x0., Springer, 6
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
EAN (ISBN-13): 9780792395669
ISBN (ISBN-10): 0792395662
Tapa dura
Tapa blanda
Año de publicación: 1995
Editorial: Springer
192 Páginas
Peso: 0,553 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2009-07-27T14:06:11-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-07-27T14:02:39-06:00 (Mexico City)
ISBN/EAN: 9780792395669
ISBN - escritura alterna:
0-7923-9566-2, 978-0-7923-9566-9
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: guttman, springer, joshua, mitchell
Título del libro: lisp
Datos del la editorial
Autor: Joshua D. Guttman; Mitchell Wand
Título: VLISP A Verified Implementation of Scheme - A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Editorial: Springer; Springer US
184 Páginas
Año de publicación: 1995-05-31
New York; NY; US
Peso: 1,220 kg
Idioma: Inglés
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
184 p.
BB; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Assembly language; Compiler; D programming language; Syntax; formal method; programming; programming language; semantics; verification; Programming Languages, Compilers, Interpreters; Artificial Intelligence; Software Engineering; Compilers and Interpreters; Artificial Intelligence; Compiler und Übersetzer; Künstliche Intelligenz; BC; EA
VLISP: A Verified Implementation of Scheme.- The VLISP Verified Scheme System.- The VLISP Verified PreScheme Compiler.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9781461523390 VLISP A Verified Implementation of Scheme (Joshua D. Guttman; Mitchell Wand)
< para archivar...