Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).
Rodzaj materiału:
TekstSerie: Lecture Notes in Computer Science ; 683Szczegóły wydania: Berlin : Springer, 1993.Opis: VI, 269 s. ; 24 cmTyp zawartości: - Tekst
- Bez urządzenia pośredniczącego
- Wolumin
- 354056778X
- 038756778X
- Dostępne również w formie elektronicznej.
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 181445 | Dostępny | 0000145709 |
Liczba zamówień: 0
Dostępne również w formie elektronicznej.