Sing Sharp: Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Search results for Sing Sharp: Programming Language, Spec Sharp, C Sharp...
Seller Image
Sing Sharp
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 76 pp. Englisch. Seller Inventory # 9786130900267
Buy New
US$ 161.41
US$ 26.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Sing Sharp | Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System)
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 134640384
Buy New
US$ 130.38
US$ 80.66 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Sing Sharp
Print on DemandSeller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9786130900267
Buy New
US$ 161.41
US$ 69.13 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Sing Sharp : Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System)
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Seller Inventory # 9786130900267
Buy New
US$ 163.34
US$ 69.90 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available