Order Total (1 Item Items):
Shipping Destination:
Machine Checked Type Safe Model Java by Lochbihler Andreas (9 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (9)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
- All Conditions
- New (9)
- Used (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (9)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (7)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by Karlsruher Institut fur Technologie 2014-06, 2014
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
PF. Condition: New.
-
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Published by KIT Scientific Publishing, 2012
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 38.61
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by Karlsruher Institut Für Technologie, 2012
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
£ 36.51
Convert currency£ 12.09 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.
-
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Published by KIT Scientific Publishing, 2012
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
£ 56.36
Convert currency£ 7.39 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Jun 2014, 2014
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 36.51
Convert currency£ 30.26 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine. 436 pp. Englisch.
-
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by Karlsruher Institut für Technologie, 2014
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
£ 36.51
Convert currency£ 47.54 shipping from Germany to United KingdomQuantity: 5 available
Add to basketTaschenbuch. Condition: Neu. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler | Andreas Lochbihler | Taschenbuch | Kartoniert / Broschiert | Englisch | 2014 | Karlsruher Institut für Technologie | EAN 9783866448858 | Verantwortliche Person für die EU: Karlsruher Institut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu.
-
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Published by KIT Scientific Publishing, 2012
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
£ 49.29
Convert currency£ 55.45 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by Karlsruher Institut Für Technologie Sep 2012, 2012
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 36.51
Convert currency£ 9.51 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine. 436 pp. Englisch.
-
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by KIT Scientific Publishing, 2014
ISBN 10: 3866448856 ISBN 13: 9783866448858
Language: English
£ 36.51
Convert currency£ 21.60 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of conc.
