Вы здесь

Главная

алгебраический

Связанные издания:

In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs
Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic
Inductive Theorem Proving for Algebraic Specifications - TIP System User s Manual
Information Algebras
Institution Independent Static Analysis for CASL
Integration of Formal Datatypes within State Diagrams
Intelligent Tutoring Systems: Proc./12th International Conference, ITS 2014, Honolulu,HI,USA, June 2014
Introduction to Gauss
ISAR: An Interactive System for Algebraic Implementation Proofs
ISSAC 98: Proc. of the 1998 Intern. Symp. on Symbolic and Algebraic Computation. Rostock, Germany, August 1998
ISSAC 99: Proc. of the 1999 Intern. Symp. on Symbolic and Algebraic Computation, Vancouver, Canada
Java as a Functional Programming Language
Labelled Transition Logic: An Outline
LAMBDALG: Higher Order Algebraic Specification Language
Lambda Substitution Algebras
Language and Automata Theory and Applications: Proc./10th International Conference, LATA 2016, Prague, Czech Republic, March 2016
Language and Automata Theory and Applications: Proc./8th International Conference, LATA 2014, Madrid, Spain, March 2014
Language and Automata Theory and Applications: Proc./9th International Conference, LATA 2015
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
Layering Techniques for Development of Parallel Systems
Lindenbaum-Algebraic Semantics of Logic Programs
Linking Algebraic High Level Nets and Dynamic Abstract Data Types
Logic and Programming Languages
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic, Language, and Computation: Revised Selected Papers/9th International Tbilisi Symposium, TbiLLC 2011, Kutaisi, Georgia, September 2011
Lower Bound for Complexity of Product of Linear Combinations
Mathematical Aspects of Computer and Information Science: Revised Selectes Papers/6th International Conference, MACIS 2015, Berlin, Germany, November 2015
Mathematical Methods for Curves and Surfaces: Revised Selected Papers/7th International Conference, MMCS 2008, Tonsberg, Norway, June/July 2008
Mathematical methods in proving properties of programs
Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014
Mathematical Software - ICMS 2016: Proc./5th International Conference, Berlin, Germany, July 2016
Mathematics and Computation in Music: Proc./Third International Conference, MCM 2011, Paris, France, June 2011
Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015
Mind the Gap! Abstract Versus Concrete Models of Specifications
Model Checking and Fault Tolerance
Modeling Data and Objects: An Algebraic View Point
Models and Operators for Nondeterministic Processes
Model-Theoretical and Deductive Approaches to Databases from the Point of View of Algebraic Logic
Modular Algebraic Specifications
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Modular Correctness Proofs of Behavioural Implementations
Modularity in Functional-Logic Programming
Modular Termination of Term Rewriting Systems Revisited
Module Algebra
Monads and Algebras in the Semantics of Partial Data Types
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Number Theory and Cryptography: Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
Observational implementation of algebraic specifications