Finding Your Way Through Formal Verification 2nd Edition (Paperback)

Lingua: inglese

Editore: Independently Published, 2023

9798374027136

Da: CitiRetail, Stevenage, Regno UnitoCitiRetail

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 31,75

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

Quantità: 1 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Paperback. Finding Your Way Through Formal Verification provides an introduction to formal verification methods. This book was written as a way to dip a toe in formal waters. You may be curious about formal verification, but you're not yet sure it is right for your needs. Or you may need to plan and supervise formal verification activity as a part of a larger verification objective. You don't plan to run formal tools yourself but you know that effective management will require some understanding. In verification planning, you certainly need to know where formal can play a role and where it may not be suitable, what effort and expertise should be planned for in using these techniques (like most verification techniques, these generally aren't push-button) and how you can assess effectiveness and coverage in what formal teams report back to you. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Codice articolo 9798374027136

Titolo
Finding Your Way Through Formal Verification 2nd Edition (Paperback)
Autore
Manish Pandey
Editore
Independently Published
Anno di pubblicazione
2023
Condizione
new
Rilegatura
Paperback
Lingua
inglese
ISBN 13
9798374027136

CitiRetail

Stevenage, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 7 a 14 giorni lavorativiDa 7 a 60 giorni lavorativi
Primo articoloEUR 43,06EUR 43,06
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

Online business

Informazioni sull’azienda del venditore

ABC BOOKS LIMITED

10 John Street
London, Regno Unito WC1N 2EB