- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 83,29, Mittelwert: € 75,19
1
Mathematical Foundations of Programming Language Semantics - Michael Main; Austin Melton; Michael Mislove; David Schmidt
Bestellen
bei Springer.com
€ 83,29
Bestellen
Details und Versand
gesponserter Link
Michael Main; Austin Melton; Michael Mislove; David Schmidt:

Mathematical Foundations of Programming Language Semantics - neues Buch

ISBN: 9783540389200

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. T… Mehr…

  - new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Mathematical Foundations of Programming Language Semantics
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Mathematical Foundations of Programming Language Semantics - neues Buch

ISBN: 9783540389200

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. T… Mehr…

Nr. 978-3-540-38920-0. Versandkosten:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
zuklappen (X)
3
Mathematical Foundations of Programming Language Semantics - Michael Main; Austin Melton; Michael Mislove; David Schmidt
Bestellen
bei Springer.com
€ 83,29
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Michael Main; Austin Melton; Michael Mislove; David Schmidt:
Mathematical Foundations of Programming Language Semantics - neues Buch

ISBN: 9783540389200

Mathematics; Mathematics, general; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs Action, Algorithms, ML, Miranda, algorithm, programming, program… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
4
Mathematical Foundations of Programming Language Semantics - Michael Main; Austin Melton; Michael Mislove; David Schmidt
Bestellen
bei Springer.com
€ 83,29
Bestellen
Details und Versand
gesponserter Link
Michael Main; Austin Melton; Michael Mislove; David Schmidt:
Mathematical Foundations of Programming Language Semantics - neues Buch

ISBN: 9783540389200

Mathematics; Mathematics, general; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs Action, Algorithms, ML, Miranda, algorithm, programming, program… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
5
Mathematical Foundations of Programming Language Semantics - Michael Main; Austin Melton; Michael Mislove; David Schmidt
Bestellen
bei Springer.com
€ 83,29
Bestellen
Details und Versand
gesponserter Link
Michael Main; Austin Melton; Michael Mislove; David Schmidt:
Mathematical Foundations of Programming Language Semantics - neues Buch

ISBN: 9783540389200

Mathematics; Mathematics, general; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs Action, Algorithms, ML, Miranda, algorithm, programming, program… Mehr…

  - Versandkosten:plus verzendkosten., zzgl. Versandkosten
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Mathematical Foundations of Programming Language Semantics
Autor:
Titel:
ISBN-Nummer:

9783540389200

Detailangaben zum Buch - Mathematical Foundations of Programming Language Semantics


EAN (ISBN-13): 9783540389200
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-01-03T12:28:25+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-05T17:37:39+01:00 (Berlin)
ISBN/EAN: 9783540389200

ISBN - alternative Schreibweisen:
978-3-540-38920-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: michael schmidt, david austin
Titel des Buches: foundations, programming language, mathematical programming

Daten vom Verlag:

Autor/in: Michael Main; Austin Melton; Michael Mislove; David Schmidt
Titel: Lecture Notes in Computer Science; Mathematical Foundations of Programming Language Semantics - 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings
Verlag: Springer; Springer Berlin
640 Seiten
Erscheinungsjahr: 2005-07-13
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 640 p. 1 illus.

EA; E107; eBook; Nonbooks, PBS / Mathematik; Mathematik; Verstehen; Action; Algorithms; ML; Miranda; algorithm; programming; programming language; real-time; semantics; C; Mathematics; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; Theoretische Informatik; BC

A categorical treatment of polymorphic operations.- A categorical approach to realizability and polymorphic types.- Rule-based semantics for an extended lambda-calculus.- Semantics of block structured languages with pointers.- Assertional categories.- Kan extensions in effective semantics.- The versatile continuous order.- On the Smyth power domain.- The metric closure powerspace construction.- A powerdomain construction.- Closure properties of a probabilistic domain construction.- Quasi-uniformities: Reconciling domains with metric spaces.- Solving reflexive domain equations in a category of complete metric spaces.- Topological completeness in an ideal model for polymorphic types.- New results on hierarchies of domains.- Semantically based axiomatics.- Metric spaces as models for real-time concurrency.- dI-domains as a model of polymorphism.- Continuous auxiliary relations.- Computable one-to-one enumerations of effective domains.- Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation.- Semantics-based tools for a specification-support environment.- A treatment of languages with stages of evaluation.- Operational semantics and a distributed implementation of CSP.- The semantics of Miranda's algebraic types.- Path semantics.- The formal description of data types using sketches.- Initial algebra semantics and concurrency.- High-level semantics.- An action semantics of standard ML.- An algorithmic approach to p-adic integers.- The shuffle bialgebra.
< zum Archiv...