Editore: CreateSpace Independent Publishing Platform, 2018
ISBN 10: 198627411X ISBN 13: 9781986274111
Lingua: Inglese
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 23,19
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 18,08
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Editore: CreateSpace Independent Publishing Platform, 2018
ISBN 10: 198627411X ISBN 13: 9781986274111
Lingua: Inglese
Da: Best Price, Torrance, CA, U.S.A.
EUR 18,88
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Editore: CreateSpace Independent Publishing Platform, 2018
ISBN 10: 198627411X ISBN 13: 9781986274111
Lingua: Inglese
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 24,55
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 27,25
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: CreateSpace Independent Publishing Platform, 2018
ISBN 10: 198627411X ISBN 13: 9781986274111
Lingua: Inglese
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 29,95
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: CreateSpace Independent Publishing Platform, 2018
ISBN 10: 198627411X ISBN 13: 9781986274111
Lingua: Inglese
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 30,67
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Createspace Independent Publishing Platform, 2018
ISBN 10: 198627411X ISBN 13: 9781986274111
Lingua: Inglese
Da: CitiRetail, Stevenage, Regno Unito
EUR 34,53
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose; we recommend a few at the end of this book. But most start from the assumption that you have already committed to becoming a hands-on expert (or in some cases that you already are an expert). We feel that detailed tutorials are not the easiest place to extract the introductory view many of us are looking for - background, a general idea of how methods work, applications and how formal verification is managed in the overall verification objective. Since we're writing for a fairly wide audience, we cover some topics that some of you may consider elementary (why verification is hard), some we hope will be of general interest (elementary understanding of the technology) and others that may not immediately interest some readers (setting up a formal verification team). What we intentionally do not cover at all is how to become a hands-on expert. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Da: California Books, Miami, FL, U.S.A.
EUR 24,64
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Editore: CreateSpace Independent Publishing Platform, 2018
ISBN 10: 198627411X ISBN 13: 9781986274111
Lingua: Inglese
Da: California Books, Miami, FL, U.S.A.
EUR 25,52
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: PBShop.store US, Wood Dale, IL, U.S.A.
EUR 29,95
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 28,04
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.