Catalogo · 9780387606309

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995

ISBN 9780387606309

Descrizione non disponibile per questo libro.

Vedi su Google Books

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare

Letture affini

Copertina di Protocol specification, testing, and verification, IX

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

Copertina di Dostoevsky and Kant

Dostoevsky and Kant

Evgenia Cherkasova

Copertina di Letters from a Stoic

Letters from a Stoic

Seneca the Younger

Copertina di The Correspondence

The Correspondence

Copertina di The picnic gourmet

The picnic gourmet

Copertina di Filosofia dell'arredamento

Filosofia dell'arredamento

Copertina di CHINA Portrait of a People

CHINA Portrait of a People

Copertina di Biofabrication

Copertina di Bible

Copertina di Laws, etc

Copertina di Oliver Twist

Charles Dickens

Copertina di Gulliver's Travels

Gulliver's Travels

Altri libri di Ed Brinksma

Copertina di Computer aided verification

Computer aided verification

Copertina di Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Verba volant · scripta manent