Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk - Tom Nr 997 (2006) - 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

Nr 997

Czasopismo

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

Wydawca

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