Vai al contenuto

Sessione

Sessione

Caricamento sessione

FM 2006 : Formal Methods

Accedi per salvarlo

★ —

Valutazione

—

Pagine

2006

Anno

Valuta questo libro

Tocca per valutare

Catalogo · 9783540372165

FM 2006 : Formal Methods

Jayadev Misra, Tobias Nipkow, Emil Sekerinski

ISBN 9783540372165

Descrizione non disponibile per questo libro.

Vedi su Google Books

La tua libreria

Accedi per aggiungere questo libro alla tua libreria.

Accedi Registrati

Lettori

Communitas attorno al libro

Letture affini

Copertina di Theories of Programming

Theories of Programming

Cliff B. Jones, Jayadev Misra

Copertina di Effective Theories in Programming Practice

Effective Theories in Programming Practice

Copertina di A Discipline of Multiprogramming

A Discipline of Multiprogramming

Copertina di FM 2006

Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Verba volant · scripta manent