Wyniki wyszukiwania: 2.

Sortuj
Wyniki
Model checking security protocols : a multi-agent system approach / Alessio Lomuscio, Wojciech Penczek. autor Serie: Prace IPI PAN ; 1000
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2007
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Bounded model checking for interpreted systems / Wojciech Penczek and Alessio Lomuscio. autor Serie: Prace IPI PAN ; 946
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.