Formal methods for hardware verification
Livre MiitBook

Formal methods for hardware verification

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)

Parution : 2006

Aucune description disponible.

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

Livres similaires

The LifeguardEnglish
Parution : 1988★ 4.5

The Lifeguard

Richie Tankersley Cusick

Voir le livre
Français
Parution : 2010

Aspects de la littérature africaine

Fatima Jamai-Lahbabi

Voir le livre
L’écriture de l’histoireFrançais
Parution : 2005

L’écriture de l’histoire

Richard Jacquemond

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
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
Discrete mathematical structures with applications to computer scienceEnglish
Parution : 1975★ 1.0

Discrete mathematical structures with applications to computer science

Jean-Paul Tremblay

Voir le livre