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… Plus…
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… Plus…
amazon.fr Frais d'envoiLes 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 - edition reliée, livre de poche
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… Plus…
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 - edition reliée, livre de poche
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 - edition reliée, livre de poche
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 - edition reliée, livre de poche
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… Plus…
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… Plus…
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - edition reliée, livre de poche
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… Plus…
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - edition reliée, livre de poche
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 - edition reliée, livre de poche
ISBN: 9780792395669
Springer. Hardcover. New. 10x7x0., Springer, 6
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - 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
Version reliée
Livre de poche
Date de parution: 1995
Editeur: Springer
192 Pages
Poids: 0,553 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2009-07-27T21:06:11+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-07-27T22:02:39+02:00 (Paris)
ISBN/EAN: 9780792395669
ISBN - Autres types d'écriture:
0-7923-9566-2, 978-0-7923-9566-9
Autres types d'écriture et termes associés:
Auteur du livre: guttman, springer, joshua, mitchell
Titre du livre: lisp
Données de l'éditeur
Auteur: Joshua D. Guttman; Mitchell Wand
Titre: VLISP A Verified Implementation of Scheme - A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Editeur: Springer; Springer US
184 Pages
Date de parution: 1995-05-31
New York; NY; US
Poids: 1,220 kg
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9781461523390 VLISP A Verified Implementation of Scheme (Joshua D. Guttman; Mitchell Wand)
< pour archiver...