Stepwise refinement of distributed systems. Models, formalisms, correctness. REX workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proc. /

Gespeichert in:
Weitere Verfasser: Bakker, J.W. de (Zusammenstellung)
Format: Buch
Sprache:Tschechisch
Veröffentlicht: Berlin : Springer Verlag, 1990
Schriftenreihe:Lecture Notes in Computer Science 430
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Stepwise refinement of distributed systems. Models, formalisms, correctness. REX workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proc. /

Ähnliche Einträge