Dimacs workshop on computer aided verification (5 risultati)
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 132,12
EUR 9,03 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 155,11
EUR 17,75 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Hardcover. Condizione: Brand New. illustrated edition edition. 628 pages. 10.25x7.50x1.50 inches. In Stock.
Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 (Dimacs Series in Discrete Mathematics and Theoretical Computer S)
Dimacs Workshop On Computer-Aided Verification; Clarke, E. M.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 217,76
EUR 17,68 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: New. In English.
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 226,86
EUR 9,36 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: New. Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits. Series: DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. Num Pages: 628 pages, illustrations. BIC Classification: PBF; UY. Category: (P) Professional & Vocational. Dimension: 220. Weight in Grams: 1361. . 1991. hardcover. . . . . Books ship from the US and Ireland.…
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 253,61
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibile
Condizione: New. Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits. Series: DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. Num Pages: 628 pages, illustrations. BIC Classification: PBF; UY. Category: (P) Professional & Vocational. Dimension: 220. Weight in Grams: 1361. . 1991. hardcover. . . . .…
