ISBN: 9786130900267 - sing sharp: programming language, spec sharp, c sharp (programming language), microsoft research, singularity (operating system) (4 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 76 pp. Englisch.

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Sing# is aconcurrent programming language that is a superset of the Spec#programming language; in turn, Spec# is an extension of the C#programming language. Microsoft Research developed Spec#, and laterextended it into Sing# in order to develop the Singularity operatingsystem. Sing# augments the capabilities of Spec# with support forchannels and low-level programming language constructs, which arenecessary for implementing system software. Sing# is type-safe. Thesemantics of message-passing primitives in Sing# are defined by formaland written contracts.…

Taschenbuch. Condizione: Neu. Sing Sharp | Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System) | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130900267 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Sing# is aconcurrent programming language that is a superset of the Spec#programming language; in turn, Spec# is an extension of the C#programming language. Microsoft Research developed Spec#, and laterextended it into Sing# in order to develop the Singularity operatingsystem. Sing# augments the capabilities of Spec# with support forchannels and low-level programming language constructs, which arenecessary for implementing system software. Sing# is type-safe. Thesemantics of message-passing primitives in Sing# are defined by formaland written contracts.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 76 pp. Englisch.…