Catalogo · 9783540446675
Lectures on Formal Methods and Performance Analysis
ISBN 9783540446675
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Computer aided verification
Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
Ed Brinksma
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
Verba volant · scripta manent