EUR 132,48
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 130,09
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
EUR 144,49
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 153,43
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 2023. hardcover. . . . . .
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 144,33
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par States Academic Press, US, 2023
ISBN 10 : 1639896902 ISBN 13 : 9781639896905
Langue: anglais
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
EUR 163,45
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New.
Edité par States Academic Press, US, 2023
ISBN 10 : 1639896902 ISBN 13 : 9781639896905
Langue: anglais
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
EUR 163,10
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 150,31
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 193,43
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 2023. hardcover. . . . . . Books ship from the US and Ireland.
Edité par States Academic Press, US, 2023
ISBN 10 : 1639896902 ISBN 13 : 9781639896905
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 192,97
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New.
Edité par States Academic Press Sep 2023, 2023
ISBN 10 : 1639896902 ISBN 13 : 9781639896905
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 179,12
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - Computer aided verification process (CAV) comprises mathematically based strict approaches for the verification, specification and development of hardware and software systems. The goal of CAD is to make such systems more robust, correct and dependable. Mathematical theories, design phase and specification formalism are used to categorize verification methods. Methods for verification during the design phase comprise testing, specification and implementation. Markov chains, process algebras and timed automata are the processes done in specification formalism. Static analysis, model checking and theorem proving are part of the verification process in mathematical theories. SPIN, NuSMV, UPPAAL, CBMC, TLA+, dafny, and PRISM are some of the tools that can be utilized in CAV. This book elucidates the concepts and innovative models and prospective developments with respect to computer science and information technology. It will also provide interesting topics for research which interested readers can take up.
Edité par States Academic Press, US, 2023
ISBN 10 : 1639896902 ISBN 13 : 9781639896905
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 207,25
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New.
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 166,62
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 667.