Teaching and Learning Formal Methods
Livre MiitBook

Teaching and Learning Formal Methods

C. Neville Dean, Michael G. Hinchey

Parution : 2020

Aucune description disponible.

MiitBook

Livres similaires

Computer scienceEnglish
Parution : 1985★ 4.6

Computer science

J. Glenn Brookshear, Brookshear

Algorithms to Live ByEnglish
Parution : 2016★ 4.0

Algorithms to Live By

Brian Christian, Tom Griffiths

Computer ScienceEnglish
Parution : 1989★ 3.8

Computer Science

Carl French, C. S. French

Mathematical structures for computer scienceEnglish
Parution : 1982

Mathematical structures for computer science

Judith L. Gersting

Invitation to Computer ScienceEnglish
Parution : 1995★ 5.0

Invitation to Computer Science

G. Michael Schneider, Judith L. Gersting, Judith Gersting

Computer scienceEnglish
Parution : 2002★ 5.0

Computer science

J. Glenn Brookshear, Glenn Brookshear

MathematicsEnglish
Parution : 1998★ 3.8

Mathematics

McGraw-Hill

Heinemann Mathematics
Langue : WEL · Parution : 1983★ 4.8

Heinemann Mathematics

Scottish Primary Mathematics Group