Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Farwer, Berndt  Voir les notices liées en tant qu'auteur

Titre(s) : Linear logic based calculi for object Petri nets [Texte imprimé] / Berndt Farwer

Publication : Berlin : Logos, cop. 2000

Description matérielle : III-187 p. : ill. ; 21 cm

Note(s) : Bibliogr. p. 175-184. Index
Diss. : Informatik : Universität Hamburg : 1999

Sujet(s) : Petri, Réseaux de  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-89722-539-5 (br.)

Identifiant de la notice  : ark:/12148/cb390766334

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