Widok standardowy Widok MARC

Męski, Artur. (Hasło osobowe)

Liczba rekordów, w których użyto hasła: 1
Forma preferowana: Męski, Artur.

Informatyka.

Model checking temporal properties of reaction systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. - Warszawa, 2014.

BNPol online