Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... results -- Algebraic specification of reactive systems -- A model for mobile point-to-point data-flow...”
Cover Image
Read Now

3
by Bergstra, Jan
Published 1989
Springer
Cover Image
Read Now

4
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Algebraic specification a step towards future software engineering -- How to make algebraic...”
Cover Image
Read Now

5
by Wirsing, Martin
Published 2003
Springer Berlin Heidelberg
Subjects: “...Algebra_xData processing...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Algebraic Viewpoint -- MultiMedia Instruction in Safe and Secure Systems -- Invited Non-technical Papers...”
Cover Image
Read Now

7
by Bauer, Friedrich L., Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... Algebraische Aspekte -- 7. Aussagenlogische Funktionen -- 8 Repräsentantensysteme -- 9 Algebra der...”
Cover Image
Read Now

8
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... for conditional rewriting -- An interactive, incremental and portable computer algebra system for ?-calculus...”
Cover Image
Read Now

9
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... to the complexity of boolean algebras with bounded quantifier alternations -- An automatic speed-up of random access...”
Cover Image
Read Now

10
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Profiles and Weltanschauung -- An Algebra of Hierarchical Graphs -- Property-Preserving Refinement...”
Cover Image
Read Now

11
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Component-Oriented Formal Software Development: An Algebraic Approach -- Higher Order Applicative XML...”
Cover Image
Read Now

12
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... for Conjunctive and Disjunctive Boolean Equation Systems -- Using Fairness Constraints in Process-Algebraic...”
Cover Image
Read Now

13
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Implementing higher-order functions in an algebraic specification language with narrowing -- Implementing...”
Cover Image
Read Now

14
Published 1991
Springer Berlin Heidelberg
“... and program development based on algebraic specifications and program transformations. Examples are also...”