Widok standardowy Widok MARC Widok ISBD

Specification and verification of concurrent systems / C. Rattray (ed.).

Współtwórca(-y): Rodzaj materiału: TekstTekstSerie: Workshops in ComputingSzczegóły wydania: London : Springer, 1990.Opis: VIII, 612 s. ; 24 cmISBN:
  • 3540195815
Tematy:
Egzemplarze
Typ dokumentu Obecna biblioteka Kolekcja Sygnatura Status Kod kreskowy
Niewypożyczane Biblioteka Politechniki Poznańskiej w czytelni Czytelnia A 118838 Dostępny 001118838000
Liczba zamówień: 0

Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems, held on 6-8 July 1988at the University of Stirling.

Bibliogr. przy referatach.

Udostępnij