Fundamenta Informaticae - Tom Vol. 77, nr 1,2 (2007) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 77, nr 1,2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2007

Identyfikatory

Zawartość wolumenu

Vol. 77, nr 1,2
- artykuł: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B (Abrial J.-R., Hallerstede S.), s. 1-28
- artykuł: Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements (Banach R., Jeske C., Poppleton M., Stepney S.), s. 29-69
- artykuł: CoreASM: An Extensible ASM Execution Engine (Farahbod R., Gervasi V., Glässer U.), s. 71-103
- artykuł: Model Checking Abstract State Machines with Answer Set Programming (Tang C. K. F., Ternovska E.), s. 105-141
- artykuł: Time in State Machines (Graf S., Prinz A.), s. 143-174
- artykuł: RAM Simulation of BGS Model of Abstract-state Machines (Seshadhri S., Seth A., Biswas S.), s. 175-185

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.