9781107048010 - program logics for certified compilers di appel, andrew w. (19 risultati)

Perfeziona la tua ricerca

  • Libri (19)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: Better World Books, Mishawaka, U.S.A.Better World Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Molto buono

    EUR 33,84

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 1 disponibili

    Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 114,50

    EUR 2,27 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: California Books, Miami, U.S.A.California Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 117,08

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 105,08

    EUR 13,85 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 119,90

    EUR 2,27 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 105,07

    EUR 17,34 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: Kennys Bookshop and Art Galleries Ltd., Galway, IrlandaKennys Bookshop and Art Galleries Ltd.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 122,77

    EUR 10,50 spedizione 
    Spedito da Irlanda a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq. Num Pages: 472 pages, 52 b/w illus. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 161 x 236 x 28. . . 2014. h

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 124,51

    EUR 17,34 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Cambridge University Press CUP 2014

    110704801X / 9781107048010

    • Rilegato

    Da: Books Puddle, New York, U.S.A.Books Puddle

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 150,90

    EUR 3,44 spedizione 
    Spedito in U.S.A.

    Quantità: 4 disponibili

    Condizione: New. pp. 472.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 153,61

    EUR 9,04 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq. Num Pages: 472 pages, 52 b/w illus. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 161 x 236 x 28. . . 2014. h

  • Condizione: Nuovo

    EUR 156,62

    EUR 14,45 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 2 disponibili

    Hardcover. Condizione: Brand New. 458 pages. 9.25x6.25x1.00 inches. In Stock.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 129,81

    EUR 64,15 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students in

  • Lingua: Inglese

    Editore: Cambridge University Press, Cambridge 2014

    110704801X / 9781107048010

    • Rilegato
    • Print on Demand

    Da: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 116,85

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 1 disponibili

    Hardcover. Condizione: new. Hardcover. Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students interested in software verification. On

  • Lingua: Inglese

    Editore: Cambridge Univ Pr 2014

    110704801X / 9781107048010

    • Rilegato
    • Print on Demand

    Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 115,08

    EUR 14,45 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibili

    Hardcover. Condizione: Brand New. 458 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato
    • Print on Demand

    Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 118,56

    EUR 21,43 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato
    • Print on Demand

    Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 153,28

    EUR 7,51 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. Print on Demand pp. 472 52 Illus.

  • Lingua: Inglese

    Editore: Cambridge University Press, Cambridge 2014

    110704801X / 9781107048010

    • Rilegato
    • Print on Demand

    Da: CitiRetail, Stevenage, Regno UnitoCitiRetail

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 120,24

    EUR 42,77 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibili

    Hardcover. Condizione: new. Hardcover. Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students interested in software verification. On

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato
    • Print on Demand

    Da: Biblios, frankfurt am main, GermaniaBiblios

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 154,10

    EUR 9,95 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. PRINT ON DEMAND pp. 472.

  • Lingua: Inglese

    Editore: Cambridge University Press 2014

    110704801X / 9781107048010

    • Rilegato
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 116,66

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifia