Seller: Books From California, Simi Valley, CA, U.S.A.
Paperback. Condition: Good. Ex-library copy with usual markings.
US$ 59.55
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 60.00
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
US$ 17.99
Convert currencyQuantity: 1 available
Add to basket23 cm. original paperback. 404 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 545g.
Seller: ALLBOOKS1, Direk, SA, Australia
US$ 69.52
Convert currencyQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Language: English
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java. Java, undoubtedly, has its roots in embedded systems and the Web. Describing the Semantics of Java and Proving Type Soundness; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
US$ 69.31
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 67.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: ALLBOOKS1, Direk, SA, Australia
US$ 83.97
Convert currencyQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
US$ 65.97
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
US$ 66.08
Convert currencyQuantity: 10 available
Add to basketPF. Condition: New.
US$ 76.95
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
US$ 64.16
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 64.16
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Language: English
Seller: Buchpark, Trebbin, Germany
US$ 32.91
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
US$ 155.18
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java. Java, undoubtedly, has its roots in embedded systems and the Web. Describing the Semantics of Java and Proving Type Soundness; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by Springer Berlin Heidelberg Jun 1999, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
US$ 64.16
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java. 420 pp. Englisch.
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Language: English
Seller: moluna, Greven, Germany
US$ 58.02
Convert currencyQuantity: Over 20 available
Add to basketKartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-a.