Order Total (1 Item Items):
Shipping Destination:
Complete Symbolic Simulation Systemc by Herdt Vladimir (17 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (17)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (14)
- As New, Fine or Near Fine (3)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (17)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (13)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
US$ 60.50
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.16
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 68.89
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New.
-
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.42
Convert currencyUS$ 16.12 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Published by Springer Vieweg 2016-03-29, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Language: English
US$ 65.86
Convert currencyUS$ 20.84 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Complete Symbolic Simulation of Systemc Models : Efficient Formal Verification of Finite Non-terminating Programs
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.29
Convert currencyUS$ 20.18 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. pp. 162.
-
Complete Symbolic Simulation of Systemc Models : Efficient Formal Verification of Finite Non-terminating Programs
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.75
Convert currencyUS$ 20.18 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs
Published by Springer Fachmedien Wiesbaden, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Language: English
US$ 47.08
Convert currencyUS$ 52.26 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 184 | Sprache: Englisch | Produktart: Bücher.
-
Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-terminating Programs
Published by Vieweg + Teubner Verlag, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Language: English
US$ 89.13
Convert currencyUS$ 33.63 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 184 pages. 8.25x5.75x0.75 inches. In Stock.
-
Complete Symbolic Simulation of SystemC Models
Published by Springer Fachmedien Wiesbaden, Springer Fachmedien Wiesbaden Mär 2016, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
US$ 63.98
Convert currencyUS$ 69.69 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficientlyand therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 184 pp. Englisch.
-
Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs
Published by Springer Fachmedien Wiesbaden, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Language: English
US$ 63.98
Convert currencyUS$ 71.11 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficiently,and therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity.
-
Complete Symbolic Simulation of SystemC Models
Published by Springer Fachmedien Wiesbaden Mrz 2016, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 63.98
Convert currencyUS$ 26.71 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficiently,and therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity. 184 pp. Englisch.
-
US$ 87.83
Convert currencyUS$ 8.74 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 162.
-
US$ 96.25
Convert currencyUS$ 11.56 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 162.
-
Complete Symbolic Simulation of SystemC Models
Published by Springer Fachmedien Wiesbaden, 2016
ISBN 10: 3658126795 ISBN 13: 9783658126797
Language: English
US$ 57.86
Convert currencyUS$ 56.90 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketKartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Study in Computer SciencesVladimir Herdt is working as ResearchAssistant in the Group of Computer Architecture at the University of Bremen,where he is pursuing his PhD degree. Verification of Systems .- Introduction to Formal V.
