Sing Sharp: Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System) - Tapa blanda
Sinopsis
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Sing# is a concurrent 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 later extended it into Sing# in order to develop the Singularity operating system. Sing# augments the capabilities of Spec# with support for channels and low-level programming language constructs, which are necessary for implementing system software. Sing# is type-safe. The semantics of message-passing primitives in Sing# are defined by formal and written contracts.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Sing# is a concurrent 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 later extended it into Sing# in order to develop the Singularity operating system. Sing# augments the capabilities of Spec# with support for channels and low-level programming language constructs, which are necessary for implementing system software. Sing# is type-safe. The semantics of message-passing primitives in Sing# are defined by formal and written contracts.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Sing Sharp: Programming Language, Spec Sharp, C Sharp...
Imagen del vendedor
Sing Sharp
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6130900260
ISBN 13: 9786130900267
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 76 pp. Englisch. Nº de ref. del artículo: 9786130900267
Comprar nuevo
EUR 136,00
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Sing Sharp | Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System)
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 134640384
Comprar nuevo
EUR 109,85
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Sing Sharp
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6130900260
ISBN 13: 9786130900267
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9786130900267
Comprar nuevo
EUR 136,00
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Sing Sharp : Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System)
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Nº de ref. del artículo: 9786130900267
Comprar nuevo
EUR 137,63
Envío por EUR 60,66
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles