C.A. Middelburg

9 titels in de boekenbase · Auteur

Non-fictie informatief/professioneel algemeen

Over C.A. Middelburg

C.A. Middelburg staat met 9 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.

Serie: Preprint series →

Process algebra with timing

J.C.M. Baeten

Process algebra with timing

J.C.M. Baeten

Paperback

Real time process algebra with time-dependent conditions

J.C.M. Baeten

Real time process algebra with time-dependent conditions

J.C.M. Baeten

Paperback

Operational conservativity with binding terms

C.A. Middelburg

Operational conservativity with binding terms

C.A. Middelburg

Paperback

Revisiting timing in process algebra

C.A. Middelburg

Revisiting timing in process algebra

C.A. Middelburg

Paperback

Serie: Logic group preprint series →

Variable binding operators in transition system specifications

C.A. Middelburg

Variable binding operators in transition system specifications

C.A. Middelburg

Paperback

Process algebra nonstandard timing

C.A. Middelburg

Process algebra nonstandard timing

C.A. Middelburg

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

Overige titels

A new equivalence for processes with timing

J.C.M. Baeten

A new equivalence for processes with timing

J.C.M. Baeten

Paperback

Werkte samen met

J.C.M. Baeten · Auteur J.A. Bergstra · Auteur M.A. Reniers · Auteur