Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Specifying And Verifying And Reasoning About Programs (F.3.1) > Invariants (F.3.1...)  
  Invariants (F.3.1) See Reviews  
 
 
         
 
Reviews limited to:
 
 

Reviews in category "Invariants (F.3.1)":
 Information dynamics: in classical and quantum systems
Dittrich T., Springer, New York, NY , 2022. 557 pp.  Type: Book (978-3030967444)
Uncertainty management with fuzzy and rough sets: recent advances and applications
Bello R., Falcon R., Verdegay J., Springer International Publishing, New York, NY, 2019. 413 pp.  Type: Book (978-3-030104-62-7)
Incomplete SMT techniques for solving non-linear formulas over the integers
Borralleras C., Larraz D., Rodríguez-Carbonell E., Oliveras A., Rubio A. ACM Transactions on Computational Logic 20(4): 1-36, 2019.  Type: Article
RDF multi-query optimization algorithm for query rewriting using common subgraphs
Wang M., Fu H., Xu F.  CSAE 2019 (Proceedings of the 3rd International Conference on Computer Science and Application Engineering, Sanya, China, Oct 22-24, 2019) 1-8, 2019.  Type: Proceedings
Variant construction from theoretical foundation to applications
Zheng J., Springer International Publishing, New York, NY, 2019. 409 pp.  Type: Book
more...

Related Topics

F.3.1
Specifying And Verifying And Reasoning About Programs
  - Software/Program Verification
  - Formal Definitions And Theory
  - Requirements/Specifications
  - Data Structures
   
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy