Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Theory and Practice of Formal Methods [Texte électronique] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

Titre d'ensemble : Theory and practice of formal methods

Édition : 1st ed. 2016

Publication : Cham : Springer, 2016

Description matérielle : 1 ressource dématérialisée

Collection : Lecture Notes in Computer Science ; 9660
SpringerLink : Bücher

Autre(s) auteur(s) : Ábrahám, Erika. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Bonsangue, Marcello. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Johnsen, Einar Broch. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Algorithmes  Voir les notices liées en tant que sujet
Logique informatique  Voir les notices liées en tant que sujet
Intelligence artificielle  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783319307343

Identifiant de la notice  : ark:/12148/cb44681071g

Notice n° :  FRBNF44681071 (notice reprise d'un réservoir extérieur)