Formal methods for components and objects
Livre MiitBook

Formal methods for components and objects

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Parution : 2014

Aucune description disponible.

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

Livres similaires

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
Formal Specification Using Z (Computer Science)English
Parution : 1991

Formal Specification Using Z (Computer Science)

David Lightfoot

Voir le livre
The LifeguardEnglish
Parution : 1988★ 4.5

The Lifeguard

Richie Tankersley Cusick

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

L’écriture de l’histoire

Richard Jacquemond

Voir le livre