Widok standardowy Widok MARC

Sifakis, Joseph (1946- ). (Hasło osobowe)

Liczba rekordów, w których użyto hasła: 1
Forma preferowana: Sifakis, Joseph (1946- ).
Forma odrzucona:
  • Sifakis, J.

Kp. Automatic verification methods for finite state systems / J. Sifakis (ed.). - Berlin, 1989. S. red. (Sifakis, Joseph)

NCC online