Kategorie główne

[2950560]

[1849509]

Kategorie szczegółowe BISAC

Bowman, Howard

fm.author_biographical_note1

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches	Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems	Connectionist Models of Cognition and Perception II - Proceedings of the Eighth Neural Computation and Psychology Workshop
Formal Methods for Open Object-Based Distributed Systems: Volume 2	Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches	Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems