Dimacs workshop on computer aided verification (5 résultats)
- Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 132,12
EUR 9,03 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
- Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 155,11
EUR 17,75 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Hardcover. Etat : 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.
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 217,76
EUR 17,68 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Etat : New. In English.
- Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 226,86
EUR 9,36 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : 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.…
- Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 253,61
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 1 disponible
Etat : 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. . . . .…
