Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... syntactical synthesis from sample computations -- Inductive synthesis of term rewriting systems -- Automatic...”
Cover Image
Read Now

2
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... software systems -- Using Z as a specification calculus for object-oriented systems -- Specifying open...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Abstract Computability of Non-deterministic Programs over Various Data Structures -- On Lexicographic...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Style of Programming FPGAs -- Languages and Software -- Using Experiments to Build a Body of Knowledge...”
Cover Image
Read Now

5
Published 1993
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

6
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... coordinating model of computation (extended abstract) -- An associative version of the Prim-Dijkstra algorithm...”
Cover Image
Read Now

7
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... development method for Ada software -- The stepwise development of software development graphs — Meta...”