NASA Formal Methods
Livre MiitBook

NASA Formal Methods

Julia M. Badger, Kristin Yvonne Rozier

Parution : 2020

Aucune description disponible.

Trouver un professionnelConsulter la ressource externeOuvrir l’assistant de lecture
MiitBook

Livres similaires

Computer scienceEnglish
Parution : 1985★ 4.6

Computer science

J. Glenn Brookshear, Brookshear

Voir le livre
Algorithms to Live ByEnglish
Parution : 2016★ 4.0

Algorithms to Live By

Brian Christian, Tom Griffiths

Voir le livre
Computer ScienceEnglish
Parution : 1989★ 3.8

Computer Science

Carl French, C. S. French

Voir le livre
Mathematical structures for computer scienceEnglish
Parution : 1982

Mathematical structures for computer science

Judith L. Gersting

Voir le livre
Invitation to Computer ScienceEnglish
Parution : 1995★ 5.0

Invitation to Computer Science

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

Voir le livre
Computer scienceEnglish
Parution : 2002★ 5.0

Computer science

J. Glenn Brookshear, Glenn Brookshear

Voir le livre
Introduction to automata theory, languages, and computationEnglish
Parution : 1979★ 4.5

Introduction to automata theory, languages, and computation

John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani

Voir le livre
Formal Methods in Computer ScienceEnglish
Parution : 2019

Formal Methods in Computer Science

Jiacun Wang

Voir le livre