Passer au contenu principal

Mot-cléFormal Specification

Comprend: Formal Specification, formal specification, Formal specification

Traductions: Formale Spezifikation, Especificación formal, Formali specifikacija, Especificação formal, Формальная спецификация

Oeuvres étiquetées

Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)

The Hash Function BLAKE (Information Security and Cryptography) par Jean-Philippe Aumasson (1 fois)
The Z formal specification notation. 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings par Jonathan P. Bowen (1 fois)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics par Hartmut Ehrig (1 fois)
Algebraic Specifications in Software Engineering par Ivo Van Horebeek (1 fois)
Specification of Software Systems (Texts in Computer Science) par V.S. Alagar (1 fois)
The Specification of Computer Programs (International Computer Science Series) par Wadysaw Turski (1 fois)
Larch: Languages and Tools for Formal Specification par John Guttag (1 fois)
Algebraic Semantics of Imperative Programs par Joseph A. Goguen (1 fois)
A Method of Programming par Edsger W. Dijkstra (1 fois)
The Design of Rijndael: AES - The Advanced Encryption Standard par Joan Daemen (1 fois)
Abstraction and Specification in Program Development par Barbara Liskov (1 fois)

Titres Couvertures

Utilise le mot clé

pgourdin (6), XanderS (2), cirdan747 (1), index.html (1), Jonathan_Bowen (1)

Google Books Ngram Viewer

Données du Books Ngram Viewer

Mots-clés connexes

Chargement en cours...

Séries associées

MIT Electrical Engineering and Computer Science

Information Security and Cryptography: Texts and Monographs

Foundations of Computing Series

Texts and Monographs in Computer Science

EATCS Monographs in Theoretical Computer Science

Ensembles associés de mots-clés

computer science, semantics (1)

cryptography, math (1)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.