- 5 Résultats
prix le plus bas: € 124,00, prix le plus élevé: € 200,89, prix moyen: € 164,38
1
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Commander
sur amazon.com
$ 146,64
(environ € 132,69)
Envoi: € 0,001
CommanderLien sponsorisé

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…

Frais d'envoiAvailable to ship in 1-2 days. Lieferung von Amazon. (EUR 0.00) Amazon.com
2
Vlisp: A Verified Implementation of Scheme
Commander
sur amazon.fr
€ 124,00
Envoi: € 2,991
CommanderLien sponsorisé
Vlisp: A Verified Implementation of Scheme - nouveau livre

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…

Frais d'envoiLes coûts d'expédition peuvent différer des coûts réels. (EUR 2.99)
3
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - Guttman, Joshua D.|Wand, Mitchell
Commander
sur AbeBooks.com
$ 212,39
(environ € 192,19)
Envoi: € 49,851
CommanderLien sponsorisé
Guttman, Joshua D.|Wand, Mitchell:
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…

NEW BOOK. Frais d'envoi EUR 49.85 moluna, Greven, Germany [73551232] [Rating: 4 (of 5)]
4
Commander
sur alibris.co.uk
€ 172,12
CommanderLien sponsorisé
Guttman, Joshua D (Editor), and Wand, Mitchell (Editor):
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]

Frais d'envoiLivraison non-comprise Uxbridge, MIDDLESEX, Ria Christie Books
5
Commander
sur Biblio.co.uk
$ 222,00
(environ € 200,89)
Envoi: € 10,861
CommanderLien sponsorisé
Guttman, Joshua D. [Editor]; Wand, Mitchell [Editor];:
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

Frais d'envoi EUR 10.86 PUBLISHERBOOKSHOP

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails 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

The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company's Technology Program. The work was supervised by the Rome Laboratory of the U.S. Air Force. Northeastern University became involved a year later. The aim was to show realism and comprehensiveness. Realism is revealed in the choice of a widely used programming language, Scheme, and the choice of a flexible and reasonably efficient implementation strategy. Comprehensiveness is revealed in the broad range of steps undertaken in verification, leading from the abstract syntax of a high level programming language, equipped with a continuation style, denotational semantics, down to an abstract assembly language equipped with a concrete operational semantics. The editors of VLISP have extracted re-usable conclusions from the work at two, quite different levels. First general approaches to the organization of the work have been found which are beneficial and which can be recommended. They help to make formal methods more pragmatically effective. Second, there are four main verification techniques that are applied in the proof process. This relatively small collection of techniques, none of them particularly arcane, allow a large verification to be undertaken. The identification of such re-usable parts bodes well for the increased use of formal methods in compiler construction.

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...