Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings - Taschenbuch
1986, ISBN: 3540168168
[EAN: 9783540168164], Nieuw boek, [SC: 14.19], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; MATHEMATIK INFORMATIK, COMPUTER; FINITE; ALGEBRA; GEOMETRY; PROCESSAL… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)] NEW BOOK. Versandkosten: EUR 14.19 Details... |
Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings - Taschenbuch
1986, ISBN: 3540168168
[EAN: 9783540168164], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; MATHEMATIK INFORMATIK, COMPUTER; FINITE; ALGEBRA; GEOMETRY; PROCESSALGEBRA; PROGRAMMI… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540168164
*Mathematical Foundation of Programming Semantics* - International Conference Manhattan Kansas April 11-12 1985. Proceedings. Auflage 1986 / Taschenbuch für 53.49 € / Aus dem Bereich: Büc… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540168164
Mathematical Foundation of Programming Semantics ab 85.49 € als Taschenbuch: International Conference Manhattan Kansas April 11-12 1985. Proceedings. Auflage 1986. Aus dem Bereich: Bücher… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., plus verzendkosten. (EUR 7.50) Details... |
1986, ISBN: 9783540168164
International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings, Buch, Softcover, 1986, [PU: Springer Berlin], Seiten: 400, Springer Berlin, 1986
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings - Taschenbuch
1986, ISBN: 3540168168
[EAN: 9783540168164], Nieuw boek, [SC: 14.19], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; MATHEMATIK INFORMATIK, COMPUTER; FINITE; ALGEBRA; GEOMETRY; PROCESSAL… Mehr…
Austin Melton:
Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings - Taschenbuch1986, ISBN: 3540168168
[EAN: 9783540168164], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; MATHEMATIK INFORMATIK, COMPUTER; FINITE; ALGEBRA; GEOMETRY; PROCESSALGEBRA; PROGRAMMI… Mehr…
ISBN: 9783540168164
*Mathematical Foundation of Programming Semantics* - International Conference Manhattan Kansas April 11-12 1985. Proceedings. Auflage 1986 / Taschenbuch für 53.49 € / Aus dem Bereich: Büc… Mehr…
ISBN: 9783540168164
Mathematical Foundation of Programming Semantics ab 85.49 € als Taschenbuch: International Conference Manhattan Kansas April 11-12 1985. Proceedings. Auflage 1986. Aus dem Bereich: Bücher… Mehr…
1986, ISBN: 9783540168164
International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings, Buch, Softcover, 1986, [PU: Springer Berlin], Seiten: 400, Springer Berlin, 1986
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematical Foundation of Programming Semantics
EAN (ISBN-13): 9783540168164
ISBN (ISBN-10): 3540168168
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1986
Herausgeber: Springer Berlin Heidelberg
408 Seiten
Gewicht: 0,614 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-08-07T11:30:14+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-02T15:38:44+01:00 (Berlin)
ISBN/EAN: 3540168168
ISBN - alternative Schreibweisen:
3-540-16816-8, 978-3-540-16816-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: austin, melton
Titel des Buches: 1985 band, kansas, semantics science, mathematical programming, mathematical foundations computer science, foundation, international proceedings, manhattan
Daten vom Verlag:
Autor/in: Austin Melton
Titel: Lecture Notes in Computer Science; Mathematical Foundation of Programming Semantics - International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
Verlag: Springer; Springer Berlin
400 Seiten
Erscheinungsjahr: 1986-10-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 400 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Finite; algebra; geometry; process algebra; programming; programming semantics; proof; semantics; Computer Science Logic and Foundations of Programming; EA
Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstract semantics and a proof system for an algol-like language with sharing.- Comparing categories of domains.- Galois connections.- Retracts of SFP objects.- Continuous categories.- Free constructions of powerdomains.- Additive domains.- A topological framework for cpos lacking bottom elements.- Detecting local finite breadth in continuous lattices and semilattices.- On the variety concept for ?-continuous algebras. Application of a general approach.- On denotational semantics of data bases.- Postconditional semantics of data base queries.- What is a model? A consumer's perspective on semantic theory.- Modal theory, partial orders, and digital geometry.- An FP domain with infinite objects.- Union complete countable subset systems.- On the syntax and semantics of concurrent computing.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540448617 Mathematical Foundation of Programming Semantics (Austin Melton)
- 9783540448617 Mathematical Foundation of Programming Semantics (Austin Melton)
- 9783540471943 Mathematical Foundations of Programming Semantics (Stephen Brookes; Michael Main; Austin Melton; Michael Mislove; David Schmidt)
- 9780387348087 Mathematical Foundations of Programming Semantics (Michael G. Main; Austin C. Melton; Michael W. Mislove; David A. Schmidt)
- 9780387973753 Mathematical Foundations of Programming Semantics (Main, Michael G.|Melton, Austin C.|Mislove, Michael W.|Schmidt, David A.)
< zum Archiv...