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… More...
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… More...
amazon.fr Shipping costs: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 - hardcover
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… More...
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 - hardcover
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 - hardcover
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 - hardcover
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… More...
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… More...
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - hardcover
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… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - 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
Hardcover
Paperback
Publishing year: 1995
Publisher: Springer
192 Pages
Weight: 0,553 kg
Language: eng/Englisch
Book in our database since 2009-07-27T20:06:11+01:00 (London)
Detail page last modified on 2023-07-27T21:02:39+01:00 (London)
ISBN/EAN: 0792395662
ISBN - alternate spelling:
0-7923-9566-2, 978-0-7923-9566-9
Alternate spelling and related search-keywords:
Book author: guttman, springer, joshua, mitchell
Book title: lisp
Information from Publisher
Author: Joshua D. Guttman; Mitchell Wand
Title: VLISP A Verified Implementation of Scheme - A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Publisher: Springer; Springer US
184 Pages
Publishing year: 1995-05-31
New York; NY; US
Weight: 1,220 kg
Language: English
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.More/other books that might be very similar to this book
Latest similar book:
9781461523390 VLISP A Verified Implementation of Scheme (Joshua D. Guttman; Mitchell Wand)
< to archive...