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… mais…
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… mais…
amazon.fr Custos de envio: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 - encadernado, livro de bolso
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… mais…
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 - encadernado, livro de bolso
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 - encadernado, livro de bolso
ISBN: 9780792395669
Springer. Hardcover. New. 10x7x0., Springer, 6
Biblio.co.uk |
no/na amazon.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 - encadernado, livro de bolso
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… mais…
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… mais…
no/na 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 - encadernado, livro de bolso
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… mais…
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - encadernado, livro de bolso
1995, ISBN: 9780792395669
Hard cover, New., Sewn binding. Cloth over boards. 184 p., New York, NY, [PU: Springer]
no/na 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 - encadernado, livro de bolso
ISBN: 9780792395669
Springer. Hardcover. New. 10x7x0., Springer, 6
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 1995
Editor/Editora: Springer
192 Páginas
Peso: 0,553 kg
Língua: eng/Englisch
Livro na base de dados desde 2009-07-27T20:06:11+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-07-27T21:02:39+01:00 (Lisbon)
Número ISBN/EAN: 0792395662
Número ISBN - Ortografia alternativa:
0-7923-9566-2, 978-0-7923-9566-9
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: guttman, springer, joshua, mitchell
Título do livro: lisp
Dados da editora
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
Editora: Springer; Springer US
184 Páginas
Ano de publicação: 1995-05-31
New York; NY; US
Peso: 1,220 kg
Língua: 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9781461523390 VLISP A Verified Implementation of Scheme (Joshua D. Guttman; Mitchell Wand)
< Para arquivar...