- 5 Risultati
prezzo più basso: € 124,00, prezzo più alto: € 200,89, prezzo medio: € 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
Ordina
da amazon.com
$ 146,64
(indicativi € 132,69)
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 - copertina rigida, flessible

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… Altro …

Costi di spedizione:Available to ship in 1-2 days. Lieferung von Amazon. (EUR 0.00) Amazon.com
Chiudere (X)
2
Vlisp: A Verified Implementation of Scheme
Ordina
da amazon.fr
€ 124,00
Spedizione: € 2,991
Ordina
Dettagli del offerente
Link sponsorizzato
Vlisp: A Verified Implementation of Scheme - nuovo libro

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… Altro …

Costi di spedizione:Les coûts d'expédition peuvent différer des coûts réels. (EUR 2.99)
Chiudere (X)
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
Ordina
da AbeBooks.com
$ 212,39
(indicativi € 192,19)
Spedizione: € 49,851
Ordina
Dettagli del offerente
Link sponsorizzato
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 - copertina rigida, flessible

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… Altro …

NEW BOOK. Costi di spedizione: EUR 49.85 moluna, Greven, Germany [73551232] [Rating: 4 (of 5)]
Chiudere (X)
4
Ordina
da alibris.co.uk
€ 172,12
Ordina
Dettagli & spedizione
Link sponsorizzato
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 - copertina rigida, flessible

1995, ISBN: 9780792395669

Hard cover, New., Sewn binding. Cloth over boards. 184 p., New York, NY, [PU: Springer]

Costi di spedizione:Costi di spedizione aggiuntivi Uxbridge, MIDDLESEX, Ria Christie Books
Chiudere (X)
5
Ordina
da Biblio.co.uk
$ 222,00
(indicativi € 200,89)
Spedizione: € 10,861
Ordina
Dettagli del offerente
Link sponsorizzato
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 - copertina rigida, flessible

ISBN: 9780792395669

Springer. Hardcover. New. 10x7x0., Springer, 6

Costi di spedizione: EUR 10.86 PUBLISHERBOOKSHOP
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli 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
Autore:
Titolo:
ISBN:

0792395662


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.

Informazioni dettagliate 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
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1995
Editore: Springer
192 Pagine
Peso: 0,553 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2009-07-27T21:06:11+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-07-27T22:02:39+02:00 (Zurich)
ISBN/EAN: 0792395662

ISBN - Stili di scrittura alternativi:
0-7923-9566-2, 978-0-7923-9566-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : guttman, springer, joshua, mitchell
Titolo del libro: lisp

Dati dell'editore

Autore: Joshua D. Guttman; Mitchell Wand
Titolo: VLISP A Verified Implementation of Scheme - A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Editore: Springer; Springer US
184 Pagine
Anno di pubblicazione: 1995-05-31
New York; NY; US
Peso: 1,220 kg
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9781461523390 VLISP A Verified Implementation of Scheme (Joshua D. Guttman; Mitchell Wand)

< Per archiviare...