Wyniki wyszukiwania: 6.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
An introduction to formal program verification / Ali Mili. autor
Rodzaj materiału: Tekst Tekst; Format: druk
Szczegóły wydania: New York : Van Nostrand Reinhold Company, 1985
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB EO-181/I. Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 113013.
Zamów
Automatyzacja testów : kompletny przewodnik dla testerów oprogramowania / Arnon Axelrod, przekład Krzysztof Kapustka. autor
Wydanie: Wydanie I.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język oryginału: angielski
Szczegóły wydania: Warszawa : Wydawnictwo Naukowe PWN, copyright 2020
Inny tytuł:
  • Complete guide to automation : techniques, practices and patterns for building and maintaining effective software projects
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (11)Lokalizacja, sygnatura: w czytelni CzO 196048, ...
Zamów
Reaching the limits for bounded model checking / Bożena Woźna and Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 958
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2003
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Dane testowe / Radosław Smilgin, Anna Piaskowy. autor Serie: Teoria i Praktyka
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Gliwice : Wydawnictwo Helion, cop. 2011
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 169657, ... Niedostępny: Biblioteka Politechniki Poznańskiej: Wypożyczono (1).
Zamów
Checking reachability properties for timed automata via SAT / Bożena Woźna, Wojciech Penczek and Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 949
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.
Półmocna kontrola typów w językach programowania baz danych / Krzysztof Stencel ; Polsko-Japońska Wyższa Szkoła Technik Komputerowych. autor Serie: Monografie - Polsko-Japońska Wyższa Szkoła Technik Komputerowych ; t. 2
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Warszawa : Wydawnictwo Polsko-Japońskiej Wyższej Szkoły Technik Komputerowych, copyright 2006
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 157058, ...
Zamów