Filters
- Springer
- 12th Media Services
- A K Peters
- A K PETERS
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Addison-Wesley Professional
- Adlard Coles Nautical Press
- Afnil
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- AKINT
- Alexander Tetelbaum
- Amazon
- Amazon Digital Services LLC - KDP Print US
- Amberley Publishing
- American Geophysical Union
- American Library Association
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- Anchor Academic Publishing
- Ane Books
- Anova
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Arm Education Media UK
- Artech House
- Artech House Publishers
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- ASM International
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avedition
- Aviation Supplies & Academics
- Avidbook Publishing Agency
- Balboa Press
- Balmos Hathorn
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Basic to Advanced Computer Aided Design Using
- Benediction Classics
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Binker North
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing (UK)
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Blurb
- Bmj Publishing Group
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- Bookleaf Publishing
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- BPP Learning Media Medical
- Braddock Bull
- Bradford Book
- Braun-Verlag
- Bravex Publications
- Breenae Washington
- British Library, Historical Print Editions
- Brooke Strahan
- Brooks Cole
- Brooks/Cole Pub Co
- Broquard eBooks
- Brown Walker Press
- BSP Books
- Burleigh Dodds Science Publishing Ltd
- Springer
- 12th Media Services
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Addison-Wesley Professional
- AddisWesle
- Adlard Coles Nautical Press
- Afnil
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- AKINT
- Alexander Tetelbaum
- Amazon Digital Services LLC - KDP Print US
- Amberley Publishing
- American Geophysical Union
- American Library Association
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- Anchor Academic Publishing
- Ane Books
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Acad
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Arm Education Media UK
- Artech
- Artech House Publishers
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- ASM International
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avedition
- Aviation Supplies & Academics
- Avidbook Publishing Agency
- Balboa Press
- Balmos Hathorn
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Basic to Advanced Computer Aided Design Using
- Bedford
- Benediction Classics
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Binker North
- Birkhauser
- Birkhäuser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Blurb
- Bmj Publishing Group
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- Bookleaf Publishing
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- BPP Learning Media Medical
- Braddock Bull
- Bradford Book
- Braun-Verlag
- Bravex Publications
- Breenae Washington
- British Library, Historical Print Editions
- BSP Books
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- History
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Writing/Research Methods
- Abhishek Swaroop
- Ahmed Seffah
- Ajit Singh
- Ajith Abraham
- Alberto del Bimbo
- Alessandro Crimi
- Alexei V. Samsonovich
- Alfio Quarteroni
- Álvaro Rocha
- American Society Of Mechanical Engineers Staff
- Amit Joshi
- Amit Kumar
- Andreas Öchsner
- Andrés Kecskeméthy
- Anita Khosla
- Ankit Kumar
- Anonymous
- ASME
- Atul
- Atulya K. Nagar
- Awwa
- B. K. Mishra
- Bernard J. Jansen
- Bibudhendu Pati
- Bing-Yuan Cao
- Borko Furht
- Brijesh Iyer
- Celestine Iwendi
- Chandan Deep Singh
- Charles Nehme
- Chengzhong Xu
- Chhabi Rani Panigrahi
- Claudio Canuto
- D. Jude Hemanth
- David A. Bell
- David Watson
- Dhinaharan Nagamalai
- Duc Thai Nguyen
- Enamul Haque
- Erik Cuevas
- Ernesto Damiani
- Filippo Neri
- Flávia Gonçalves Fernandes
- Franck Leprévost
- Garima Mathur
- George A. Anastassiou
- H. S. Saini
- Halimah Badioze Zaman
- Hartmut Ehrig
- Hongjiang Song
- James J. Park
- Janusz Kacprzyk
- Jcm-Nystce Test Preparation Group
- José Antonio Marmolejo-Saucedo
- Juan Carlos Figueroa-García
- Jyoti Choudrie
- Kanubhai K. Patel
- Kaplan Test Prep
- Khaled Elleithy
- Kohei Arai
- Kuinam J. Kim
- Lazaros S. Iliadis
- M. Shamim Kaiser
- Manoj Dole
- Marcelo V. Garcia
- Matheus Carvalho
- Michael E. Auer
- Michael Griebel
- Michael Webster
- Miguel Botto-Tobar
- Mohamed Ben Ahmed
- Mykola Nechyporuk
- Nabendu Chaki
- Nadia Nedjah
- Nasa Technical Reports Server (Ntrs)
- Neha Sharma
- Ngoc Thanh Nguyen
- Panos M. Pardalos
- Paulo Henrique Cortez
- Pavithra Guru R
- Qilian Liang
- R. Glowinski
- Radek Silhavy
- Rajesh Singh
- Roger Lee
- Roman Szewczyk
- Shengzhao Long
- Siddhartha Bhattacharyya
- Siegfried Wagner
- Sio-Iong Ao
- Speedy Publishing LLC
- Suresh Chandra Satapathy
- Tarek Sobh
- Weixia Xu
- Wenjiang Du
- Wojciech Zamojski
- Wolfgang E. Nagel
- Wolfgang Engel
- Yuhua Luo
- Zhengbing Hu
Products
Abstraction Refinement for Large Scale Model Checking
Chao Wang
Paperback
Current price
₹8,237
Original price
₹12,672
Original price
₹12,672
Original price
₹12,672
(-35%)
₹8,237
Current price
₹8,237
| /
• Author(s): Chao Wang • Publisher: Springer • Publisher Imprint: Springer • BISAC: ElectricalFrom the Back CoverAbstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large d...
View full details
