Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
EUR 27,79
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Condizione: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 40,25
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 40,54
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Da: medimops, Berlin, Germania
EUR 32,19
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 43,72
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2007 ed. This book examines the important role semantics will have in the future development of software systems and domain specific languages. It presents the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Coverage investigates the relationship between the various methods and describes some of the main ideas used. It illustrates these via historically important application areas together with some exciting potential applications, including validating prototype implementations of programming languages, verifying program analyses that are part of more advanced implementations of programming languages, verifying security analyses, and verifying useful program properties including information about execution time.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 39,20
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 39,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: UK BOOKS STORE, London, LONDO, Regno Unito
EUR 59,41
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 42,29
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 43,63
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
Da: preigu, Osnabrück, Germania
EUR 36,90
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Semantics with Applications | An Appetizer | Hanne Riis Nielson (u. a.) | Taschenbuch | xii | Englisch | 2007 | Springer Nature B.V. | EAN 9781846286919 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Rarewaves.com UK, London, Regno Unito
EUR 40,09
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2007 ed.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 37,40
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time. 274 pp. Englisch.
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 44,34
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Da: moluna, Greven, Germania
EUR 35,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a rigorous introduction to the main approaches to formal semantics of programming languagesBreaks new ground by considering the validation of compilers, static program analysers, validation of security properties and techniques for estima.