paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
EUR 34,04
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Paperback or Softback. Condizione: New. Definition of Standard ML. Book.
EUR 37,46
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 40,65
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. revised subsequent edition. 114 pages. 9.00x7.00x0.50 inches. In Stock.
EUR 43,16
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 42,46
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Majestic Books, Hounslow, Regno Unito
EUR 38,25
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 128.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. Print on Demand pp. 128 revised edition.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 38,27
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 128.
Da: moluna, Greven, Germania
EUR 32,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers.Über den Autor.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 39,02
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML. In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation. The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.
Da: preigu, Osnabrück, Germania
EUR 34,00
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. The Definition of Standard ML, revised edition | Robin Milner (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 1997 | MIT Press | EAN 9780262631815 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.