Widok standardowy Widok MARC Widok ISBD

Towards verification of Java programs in VerICS / Maciej Orzechowski, Bożena Woźna and Tomasz Siwiak.

Autor: Współtwórca(-y): Rodzaj materiału: TekstTekstJęzyk: angielski Język streszczenia: polski Serie: Prace IPI PAN ; 997Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2006.Opis: 33, [1] s. : il. ; 21 cmTyp zawartości:
  • Tekst
Tryb odtwarzania:
  • Bez urządzenia pośredniczącego
Typ nośnika:
  • Wolumin
Tematy:
Egzemplarze
Typ dokumentu Obecna biblioteka Kolekcja Sygnatura Status Kod kreskowy
Niewypożyczane Biblioteka Politechniki Poznańskiej w czytelni czytelnia czasopism Cz 3163 Dostępny czp3163bc
Liczba zamówień: 0

Praca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 997.

Bibliogr. s. 30-33.

Na prawach rękopisu.

Streszcz. pol.

Udostępnij