J.A. Bergstra
11 titels in de boekenbase · Auteur · 1994–1996
Over J.A. Bergstra
J.A. Bergstra staat met 11 titels in de boekenbase als auteur. Bekend van de series ‘Logic group preprint series’ en ‘Preprint series’. Het werk valt vooral onder non-fictie informatief/professioneel algemeen en godsdienstwijsbegeerte en ethiek. Verschenen tussen 1994 en 1996 bij Universiteit Utrecht.
Serie: Preprint series →
A calculus for sequential logic with 4 values
J.A. Bergstra
A calculus for sequential logic with 4 values
J.A. Bergstra
Niet gespecificeerd · 1996
Platforms, specifications and decisions
J.A. Bergstra
Platforms, specifications and decisions
J.A. Bergstra
Paperback
Serie: Logic group preprint series →
Algebra of timed frames
J.A. Bergstra
Algebra of timed frames
J.A. Bergstra
Niet gespecificeerd · 1995
Network algebra for synchronous and asynchronous dataflow
J.A. Bergstra
Network algebra for synchronous and asynchronous dataflow
J.A. Bergstra
Paperback · 1994
Process algebra semantics of f SDL
J.A. Bergstra
Process algebra semantics of f SDL
J.A. Bergstra
Paperback
Process algebra for hybrid systems
J.A. Bergstra
Process algebra for hybrid systems
J.A. Bergstra
Paperback
Continuity controlled hybrid automata
J.A. Bergstra
Continuity controlled hybrid automata
J.A. Bergstra
Paperback
Execution architectures for program algebra
J.A. Bergstra
Execution architectures for program algebra
J.A. Bergstra
Paperback
Overige titels
Theoretische software-engineering kenmerken, faseringen en classificaties
J.A. Bergstra
Theoretische software-engineering kenmerken, faseringen en classificaties
J.A. Bergstra
Paperback
Axioms for SNABOK, a system and network administration body of knowledge
J.A. Bergstra
Axioms for SNABOK, a system and network administration body of knowledge
J.A. Bergstra
Paperback
Linear projective Program Syntax
J.A. Bergstra
Linear projective Program Syntax
J.A. Bergstra
Paperback