Filters
- Cambridge University Press
- 1965
- 8080 Books
- 1st Book Library
- 12th Media Services
- 0xford University Press
- 978-1-7392166-0-3
- A. Smith Media
- A.W. Baldwin
- Aanya Torres
- Abdul Ahad Ansari
- Aberdeen University Press Services
- Absolute Author Publishing House
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Accepted, Inc.
- ACM
- Activity Crusades
- Adao Jose Goncalves Da Cruz
- Addison-Wesley Professional
- Adel Khediri
- Adrea Peters
- Adrian Volk
- Advixo (Approved Media Group)
- Afolabi Onadipe
- Afro-Conscious Media
- After Midnight Publishing
- Ahmed Elghadban
- Ahzuria.com
- AI Writers & Pub
- Ai-Future.Net
- Aiken Taashmeir Publishing
- Al Mahmud Al Mamun
- ALA Editions
- Alan Sewell
- Alexander Schlotterbeck
- Alexandra Pugachevsky
- Alexandre P. Lemay
- Alexia Scott
- Alison Davis
- Almuzara
- Amacom
- Amanda Symonds
- Amarilli Books
- Amelia A. Weaver
- American Academic Press
- American Book Group
- American Book Publisher
- American Institute of Physics
- American Library Association
- American Mathematical Society
- Amphoto Books
- Amplitudo Ltd
- Amsterdam University Press
- An.Academy, Inc
- Anatiposi Verlag
- Andrew Reeves
- Aneko Press
- Anjum Publishers
- Ankit Bhandawat
- Anson Street Press
- Anthem Press
- Anthony Talmage
- Anu Press
- Anya Petrova
- Anyael Stormbright
- Aperture
- Apex Test Prep
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arcturus Publishing Ltd
- Ardith Publishing
- Argawarga Press
- Arief Muinnudin
- Aries Publishing LLC
- Arkose Press
- Arktos Media Ltd.
- Armor Fiction
- Artech House Publishers
- Ary Publisher
- ASCD
- Asim Khwaja
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Astrology Sight
- Astroquant Publishing
- Atlantic
- Atlantic Publishers & Distributors (P) Ltd
- Atria Books
- Auerbach Publications
- Austin Macauley
- Author Academy Elite
- Authorhouse
- Authorhouse UK
- Authors Publishing House
- Ava Perkins
- Avidbook Publishing Agency
- Cambridge University Press
- 1965
- 8080 Books
- 1st Book Library
- 12th Media Services
- 0xford University Press
- 978-1-7392166-0-3
- A. Smith Media
- A.W. Baldwin
- Aanya Torres
- Abdul Ahad Ansari
- Aberdeen University Press Services
- Absolute Author Publishing House
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Accepted, Inc.
- ACM
- Activity Crusades
- Adao Jose Goncalves Da Cruz
- Addison-Wesley Professional
- Adel Khediri
- Adrea Peters
- Adrian Volk
- Advixo (Approved Media Group)
- Afolabi Onadipe
- Afro-Conscious Media
- After Midnight Publishing
- Ahmed Elghadban
- Ahzuria.com
- AI Writers & Pub
- Ai-Future.Net
- Aiken Taashmeir Publishing
- Al Mahmud Al Mamun
- ALA Editions
- Alan Sewell
- Alexander Schlotterbeck
- Alexandra Pugachevsky
- Alexandre P. Lemay
- Alexia Scott
- Alison Davis
- Almuzara
- Amacom
- Amanda Symonds
- Amarilli Books
- Amelia A. Weaver
- American Academic Press
- American Book Group
- American Book Publisher
- American Institute of Physics
- American Library Association
- American Mathematical Society
- Amphoto Books
- Amplitudo Ltd
- Amsterdam University Press
- An.Academy, Inc
- Anatiposi Verlag
- Andrew Reeves
- Aneko Press
- Anjum Publishers
- Ankit Bhandawat
- Anson Street Press
- Anthem Press
- Anthony Talmage
- Anu Press
- Anya Petrova
- Anyael Stormbright
- Aperture
- Apex Test Prep
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arcturus Publishing Ltd
- Ardith Publishing
- Argawarga Press
- Arief Muinnudin
- Aries Publishing LLC
- Arkose Press
- Arktos Media Ltd.
- Armor Fiction
- Artech House Publishers
- Ary Publisher
- ASCD
- Asim Khwaja
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Astrology Sight
- Astroquant Publishing
- Atlantic
- Atlantis Press
- Atria Books
- Auerbach Publications
- Austin Macauley
- Author Academy Elite
- Authorhouse
- Authorhouse UK
- Authors Publishing House
- Ava Perkins
- Avidbook Publishing Agency
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Creative Writing, Fiction
- Economics
- Education & Psychology
- Engineering
- English Literature
- Foreign Languages
- General Books
- Health, Physical Fitness and Yoga
- Hindi Literature
- History
- Law and Criminology
- Library & Information Science
- Magic & Alchemy
- Mathematics and Statistics
- Military and Police Studies
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Abhishek Kumar
- Ahdi Hassan
- Al Giovanni Giachetta Et
- Albert Barnes
- Alex Khang
- Alexander Carson
- Alfonso Hernández-Laguna
- Ali Parizad
- Alma Harris
- Alwin Zulehner
- Amit Kumar
- Amit Kumar Tyagi
- Andreas Buchleitner
- Andreas Miroslaus Wichert
- Andreas Wichert
- Andrei Khrennikov
- Andrei Y. Khrennikov
- Andrew Adamatzky
- Andrew Lee
- Anne Mozley
- Anne Newport Royall
- Anonymous
- Aravinda Bhat
- Arkady Plotnitsky
- Armin Uhlmann
- Arno Bohm
- Arnold Sommerfeld
- Arthur Anthony Macdonell
- Arthur Penrhyn Stanley
- Bassano Vacchini
- Beilby Porteus
- Benjamin Oakley
- Benjamin Wills Newton
- Bertrand Duplantier
- Blaise Pascal
- Brian Houghton Hodgson
- Charles Kingsley
- Christo Ananth
- David A. Dixon
- David K. Ferry
- David Spellmeyer
- Dean Rickles
- Diederik Aerts
- Eduardo Reck Miranda
- Fabio Bagarello
- Frederick William Robertson
- George Horne
- Hafiz Md. Hasan Babu
- Harish Parthasarathy
- Harvard University Library
- Henry Edward Manning
- Henry Edwards
- Henry Sutherland Edwards
- Hermann Haken
- Hilaire Belloc
- Horace Bushnell
- Ian Plummer
- Isaac Watts
- Ivan B. Djordjevic
- James Anthony Froude
- Jim Baggott
- John Aubrey
- John Henry Newman
- John R. Sabin
- John Stuart Mill
- John Taylor
- Joseph Lathrop
- Kenny B. Lipkowitz
- Luigi Accardi
- Maged Marghany
- Margaret Benson
- Mari Silva
- Mary Martha Sherwood
- Masahito Hayashi
- Maurice A. De Gosson
- Michael Strickland
- Mihai V. Putz
- Nakahara Mikio
- Paul Hockett
- Peter Lee
- Pethuru Raj
- Philip E. Hoggan
- Richard Davey
- Ritu Tiwari
- Robert Dodsley
- Samuel Davies
- Samuel Seabury
- Serge Luryi
- Shinil Cho
- Siddhartha Bhattacharyya
- Song Y. Yan
- Stephen Blaha
- Thomas Secker
- V. Sharmila
- Veljko Milutinovic
- Vladimir Dobrev
- Willi-Hans Steeb
- William Buell Sprague
- William Denton
- Wojciech H. Zurek
Products
Model Checking Quantum Systems: Principles and Algorithms
Mingsheng Ying
Hardcover
Current price
₹7,780
Original price
₹7,840
Original price
₹7,840
Original price
₹7,840
(-1%)
₹7,780
Current price
₹7,780
| /
• Author(s): Mingsheng Ying • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Languages - GeneralModel checking is one of the most successful verification techniques and has been widely adopted in tr...
View full details
