Yazar
Ed Brinksma
5 cilt bulundu.
Cilt sonuçları
Computer aided verification
Ed Brinksma · Springer
626 sayfa · 2002
Logic design / Software engineering / Computer science / Artificial intelligence / Computer software
Protocol specification, testing, and verification, IX
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas), Ed Brinksma, Giuseppe Scollo · Elsevier Science Publishing Company
402 sayfa · 1989
Computer network protocols / Congresses / Computer Communications & Networking / Computer architecture & logic design / Systems analysis & design