{"product_id":"model-checking-quantum-systems-principles-and-algorithms","title":"Model Checking Quantum Systems: Principles and Algorithms","description":"\u003cp\u003e\n                                                            \u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\n                              \u003cstrong\u003eLength\u003c\/strong\u003e: 220 pages\u003cbr\u003e\n                              \u003cstrong\u003ePublication date\u003c\/strong\u003e: 04 February 2021\u003cbr\u003e\n                              \u003cstrong\u003ePublisher\u003c\/strong\u003e: Cambridge University Press\u003cbr\u003e\n                          \u003c\/p\u003e\n                          \u003cp\u003eThis is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work.\u003c\/p\u003e\n                          \u003cp\u003e\n                            \u003cstrong\u003eWeight\u003c\/strong\u003e: 520g\n                            \u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 442 x 250 x 20 (mm)\n                            \u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9781108484305\n                            \n                          \u003c\/p\u003e","brand":"MingshengYing,YuanFeng","offers":[{"title":"Hardback","offer_id":44094881956090,"sku":"9781108484305","price":55.22,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/3662541c584d71b42c28251d3f2feb4b.jpg?v=1621142388","url":"https:\/\/shulphink.com\/products\/model-checking-quantum-systems-principles-and-algorithms","provider":"Shulph Ink","version":"1.0","type":"link"}