Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk - Tom Nr 997 (2006) - BazTech - Yadda

Powiadomienia systemowe

Sesja wygasła!

Tom - szczegóły

Tytuł artykułu

Nr 997

Czasopismo

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

Wydawca

Instytut Podstaw Informatyki PAN

Rocznik

2006

Identyfikatory

Zawartość wolumenu

Nr 997
- artykuł: Towards verification of Java programs in VerICS (Orzechowski M., Woźna B., Siwiak T.), s. 1-33

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ć.