Importo totale (1 articolo articoli):
Destinazione ordine:
9780387341552 (13 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (13)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (11)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (3)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (5)
- Non Print on Demand (12)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 38,88
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 8 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Excellent Customer Service.
-
Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 38,88
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: 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.
-
EUR 40,60
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Abstraction Refinement for Large Scale Model Checking
Editore: Springer US, 2006
ISBN 10: 0387341552 ISBN 13: 9780387341552
EUR 118,64
Convertire valutaEUR 48,99 per la spedizione da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Proposes fully automatic techniques for improving the performance of abstraction refinementThe algorithms in this book demonstrate significant improvement over prior techniquesThis book summarizes recent research on abstraction techniqu.
-
Edizione InternazionaleABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING
Editore: SPRINGER, 2006
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 187,28
Convertire valutaEUR 4,57 per la spedizione da Regno Unito a U.S.A.Quantità: 16 disponibili
Aggiungi al carrelloHardcover. Condizione: 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 7-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.
-
Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,39
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Excellent Customer Service.
-
Abstraction Refinement for Large Scale Model Checking
Editore: Springer Us Jul 2006, 2006
ISBN 10: 0387341552 ISBN 13: 9780387341552
EUR 162,93
Convertire valutaEUR 62,34 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
-
Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,39
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 121,94
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 127,18
Convertire valutaEUR 17,18 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 136,35
Convertire valutaEUR 17,18 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 162,93
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstraction Refinement for Large Scale Model Checking
Editore: Springer-Verlag New York Inc.
ISBN 10: 0387341552 ISBN 13: 9780387341552
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 136,36
Convertire valutaEUR 24,11 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1030.
