Livre MiitBook

The Way of Z

Jonathan Jacky

Parution : 1996

Aucune description disponible.

Trouver un professionnel Consulter la ressource externeOuvrir l’assistant de lecture

Catégories

Formal methods (Computer science)Z (computer program language)

Mots-clés

Formal methods (Computer science)Z (computer program language)

MiitBook

Livres similaires

Mathematical structures for computer science

English

Parution : 1982

Mathematical structures for computer science

Judith L. Gersting

Voir le livre

English

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 computation

English

Parution : 1979★ 4.5

Introduction to automata theory, languages, and computation

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

Voir le livre

English

Parution : 2019

Formal Methods in Computer Science

Jiacun Wang

Voir le livre

Discrete mathematical structures with applications to computer science

English

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

English

Parution : 1979

Z80 assembly language programming

Lance A. Leventhal

Voir le livre

The complete software developer's career guide

English

Parution : 2017

The complete software developer's career guide

John Z. Sonmez

Voir le livre