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

Auteur(s) : Wang, Jiacun (1963-....)  Voir les notices liées en tant qu'auteur
Tepfenhart, William M.  Voir les notices liées en tant qu'auteur

Titre(s) : Formal methods in computer science [Texte imprimé] / Jiacun Wang, William Tepfenhart

Publication : Boca Raton : CRC press, copyright 2020

Description matérielle : 1 vol. (XVII-294 p.) : ill. ; 24 cm

Collection : Textbooks in mathematics

Lien à la collection : Textbooks in mathematics  Voir toutes les notices liées

Sujet(s) : Méthodes formelles (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.015 113 (23e éd.) = Informatique - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9781498775328. - ISBN 1498775322. - ISBN 9780367225704. - ISBN 0367225700

Identifiant de la notice  : ark:/12148/cb457637902

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